命题公式A 包含4 个命题变元:[tex=4.143x1.214]JM8YMoHKu3lcpgiduPc3UQ==[/tex]。其真值表如下:[img=1018x542]1780575cecb5293.png[/img]写出与[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]等价的:1) 主析取范式。2) 主合取范式。3) 析取形式的最简式。
举一反三
- 利用范式证明下列公式为永真式（证明合取范式的每一个合取项中含有互补文字,或其主析取范式中含有[tex=1.0x1.0]DZx/OFQDLjQ4q8V7+NbAeA==[/tex]个析取项,n是公式中变元的个数).[tex=11.786x1.357]uBq9iSKwfMlL47k6PcZAp/Foi8eR1haQsxXjqDvsLv/dpjAx5vvjq7pdMInUtUlaYA8UBxLDUQESgrThxq7VD0dyT/4KzoRC9yCXbWKV+TJyzZxneTa26BvPkF9umyF0[/tex]
- 命题公式“[img=10x11]17e0a839b915354.jpg[/img]P”既是析取式，又是合取式，还是析取范式和合取范式。
- 应用Matlab软件计算行列式[img=110x88]17da5d7b00219d6.png[/img]为( ). A: x^2 - 6*x^2*y^2 + 8*x*y^3 - 3*y^4 B: x^3 - 6*x^2*y^2 + 8*x*y^3 - 3*y^4 C: x^4 - 6*x^2*y^2 + 8*x*y^3 - 3*y^4 D: x^5- 6*x^2*y^2 + 8*x*y^3 - 3*y^4
- 利用主范式判断下列两个命题公式是否等值:(1)[tex=9.143x1.357]5Tp/bC0lJbf2QYloEXBpHLxuflRn9fa6n3tBRsRWQHO9htcTPZk71pWMflxF331HOtpTW6VD+6RsP4GSkWVmeA==[/tex]；(2)[tex=6.143x1.357]5Tp/bC0lJbf2QYloEXBpHLxuflRn9fa6n3tBRsRWQHOAKJFUBlectj56N0+ZKevT[/tex]。
- 对命题公式 A=(p2192q)2194r，要求 { (1)写出公式A的真值表； (2)求该命题公式的主析取范式与主合取范式. }