已知命题公式F含有2个命题变项，F的主析取范式是m0∨m2∨m3，写出F的主合取范式
M1
举一反三
- 已知命题公式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) 析取形式的最简式。
内容
- 0
命题公式(p∧q)∨(¬p∧r)∨(q∧r)的主析取范式是m1∨m3∨m6∨m7,那么它的主合取范式就是M0∧M2∧M4∧M5。
- 1
矛盾式无成真赋值，因而主析取范式不含任何极小项，其主析取范式记为F(或者0)，而主合取范式含(n为公式中命题变元的个数)个极大项。
- 2
可满足式的主析取范式就是成真赋值对应小项的析取；主合取范式就是成假赋值对应极大项的合取；且主析取范式中小项m的下标和主合取范式中大项M的下标是互补的
- 3
已知公式A(p，q，r)的主合取范式为M0∧M3∧M5，它的主析取范式为M1∧M2∧M4∧M6∧M7
- 4
已知命题公式A中含3个命题变项p, q, r，已知它的成真赋值为001, 010, 111, 求其主析取范式和主合取范式，