• 2021-04-14
    已知命题公式A含有3个命题变项,其成真赋值为000,010,100,110,写出A的主析取范式与主合取范式
  • 主析取范式:m02228m22228m42228m6
    主合取范式:M12227M32227M52227M7

    内容

    • 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]