已知命题公式F含有2个命题变项,F的主析取范式是m0∨m2∨m3,写出F的主合取范式
举一反三
- 已知命题公式A含有3个命题变项,其成真赋值为000,010,100,110,写出A的主析取范式与主合取范式
- 已知公式A含3个命题变项p,q,r,它的主析取范式为m0∨m2∨m3 ,则它的主合取范式为 A: M4ÙM5ÙM6ÙM7 B: M0∨M2∨M3 C: M0ÙM2ÙM3 D: M1ÙM4ÙM5ÙM6ÙM7
- 一个命题公式有唯一的主范式,且当命题变元的顺序约定以后,主析取范式和主合取范式是唯一确定的
- 对命题公式 A=(p2192q)2194r,要求 { (1)写出公式A的真值表; (2)求该命题公式的主析取范式与主合取范式. }
- 命题公式A 包含4 个命题变元:[tex=4.143x1.214]JM8YMoHKu3lcpgiduPc3UQ==[/tex]。其真值表如下:[img=1018x542]1780575cecb5293.png[/img]写出与[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]等价的:1) 主析取范式。2) 主合取范式。3) 析取形式的最简式。