已知命题公式A含有3个命题变项,其成真赋值为000,010,100,110,写出A的主析取范式与主合取范式
主析取范式:m02228m22228m42228m6
主合取范式:M12227M32227M52227M7
主合取范式:M12227M32227M52227M7
举一反三
- 已知公式A含3个命题变项p、q、r,并且它的成真赋值为000、011、110,求A的主合取范式和主析取范式.
- 已知命题公式A中含3个命题变项p, q, r,已知它的成真赋值为001, 010, 111, 求其主析取范式和主合取范式,
- 已知命题公式F含有2个命题变项,F的主析取范式是m0∨m2∨m3,写出F的主合取范式
- 求下面命题公式的主析取范式、主合取范式、成真赋值、成假赋值。[tex=7.071x1.357]/pqvC2YxPnD6SfCvBfOFiGT1PyB0Hy2S5Q6+0vqqEc7THOguyCYA5ZWZlF8JqJEt[/tex]
- 一个命题公式有唯一的主范式,且当命题变元的顺序约定以后,主析取范式和主合取范式是唯一确定的
内容
- 0
矛盾式无成真赋值,因而主析取范式不含任何极小项,其主析取范式记为F(或者0),而主合取范式含(n为公式中命题变元的个数)个极大项。
- 1
设命题公式A的主析取范式为则公式A的成假赋值() A: 100, 110, 000 B: 011, 010, 111, 101, 001 C: 101, 111, 001 D: 011, 000, 111, 101, 110
- 2
命题公式A 包含4 个命题变元:[tex=4.143x1.214]JM8YMoHKu3lcpgiduPc3UQ==[/tex]。其真值表如下:[img=1018x542]1780575cecb5293.png[/img]写出与[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]等价的:1) 主析取范式。2) 主合取范式。3) 析取形式的最简式。
- 3
求下面命题公式的主析取范式、主合取范式、成真赋值、成假赋值。[tex=11.143x1.357]4OiVc/fig4qytSh7/Ezxv+t50uE1YRRXNMuCC/CKaZ3vOfNtLJeE6CekULJceAoy+vYy9E/yeBrRhOBfFE2R7Q==[/tex]
- 4
分别用真值表法和公式法求下列命题公式的主析取范式与主合取范式,判断各公式的类型,并写出其相应的成真赋值和成假赋值。[tex=5.143x1.357]fnpQj7+27X9QukdLGbR4b4V0OteRT7yVtzM6LKOkSRo=[/tex]