分别用真值表法和公式法求下列命题公式的主析取范式与主合取范式,判断各公式的类型,并写出其相应的成真赋值和成假赋值。[tex=5.0x1.357]W3rv05A3wQ3hMLrLObqSgb9ZlINHtA9qcorw7XdimeE=[/tex]
公式法:因为[tex=12.286x1.357]W3rv05A3wQ3hMLrLObqSgXsJ2jFlfLHL2OugK5KX70plTHJoyV+yO/21b5ff6SB7Vo2XY/Uil8285pW7LHDWmA8/8NqbERMzc1RJ+R8dBAY=[/tex][tex=2.643x1.214]y8LuSm71q2LpxnLwWvR1b5d2Squ8cjE9tfaMguZszKk=[/tex][tex=16.571x1.071]y8LuSm71q2LpxnLwWvR1b/2hf+MBTO39w6xS6kwwCVdbzyxCTiYknaAP42gj89/gNYtNmCp0i4OLLMl3mtOlCOhBb2QK9oTnpMtQBGdy6O3U6jX54VuhQdKL6zNLxxN3[/tex]所以,公式[tex=5.0x1.357]W3rv05A3wQ3hMLrLObqSgb9ZlINHtA9qcorw7XdimeE=[/tex]为可满足式,其相应的成真赋值为000、001、010、011、100、101、111;成假赋值为:110真值表法:[img=445x182]1788abe6bd7f29d.png[/img]由真值表可知,公式[tex=5.0x1.357]W3rv05A3wQ3hMLrLObqSgb9ZlINHtA9qcorw7XdimeE=[/tex]为可满足式,其相应的成真赋值为000、001、010、011、100、101、111;成假赋值为:110
举一反三
- 分别用真值表法和公式法求下列命题公式的主析取范式与主合取范式,判断各公式的类型,并写出其相应的成真赋值和成假赋值。[tex=5.143x1.357]fnpQj7+27X9QukdLGbR4b4V0OteRT7yVtzM6LKOkSRo=[/tex]
- 分别用真值表法和公式法求下列命题公式的主析取范式与主合取范式,判断各公式的类型,并写出其相应的成真赋值和成假赋值。[tex=8.429x1.357]5qBVDhLFRZV7lMBXJdUag4GWytbts0nCxBlqwfWUSEqcp0FGEhMS7HcrgDiIYdKk[/tex]
- 分别用真值表法和公式法求下列命题公式的主析取范式与主合取范式,判断各公式的类型,并写出其相应的成真赋值和成假赋值。[tex=14.071x1.357]ixuxVZEcxcc3/AKcYCnEPjadkl6zms125DHgFcS8xw3ADrJGczP+aik7Wcs06Pd6VdAjWwE3RnYgFE2ROQG5WUaQOcRxRoypLAmf4PsShgw=[/tex]
- 求下面命题公式的主析取范式、主合取范式、成真赋值、成假赋值。[tex=7.071x1.357]/pqvC2YxPnD6SfCvBfOFiGT1PyB0Hy2S5Q6+0vqqEc7THOguyCYA5ZWZlF8JqJEt[/tex]
- 求下面命题公式的主析取范式、主合取范式、成真赋值、成假赋值。[tex=11.143x1.357]4OiVc/fig4qytSh7/Ezxv+t50uE1YRRXNMuCC/CKaZ3vOfNtLJeE6CekULJceAoy+vYy9E/yeBrRhOBfFE2R7Q==[/tex]
内容
- 0
分别用等值演算法和真值表法,求下面命题公式的主析取范式及主合取范式,并判断其类型:[tex=4.571x1.357]tG6S+47SfMXz+RijhmcPIhtyXiKVlK1wCIKAw0IVeHA=[/tex]。
- 1
分别用等值演算法和真值表法,求下面命题公式的主析取范式及主合取范式,并判断其类型:[tex=6.5x1.357]vPqP23m5DP5zMS0n4K4wlGTLHODf2eWneuWmxgQtEkd09kRm/roIPN82pxduGkno[/tex]。
- 2
求下列公式的主析取和主合取范式,并求它的成真赋值和成假赋值。 (p∧q)→
- 3
已知命题公式A含有3个命题变项,其成真赋值为000,010,100,110,写出A的主析取范式与主合取范式
- 4
求下列公式的主合取范式,再用主和取范式求主析取范式:[tex=4.286x1.357]0Ais5Y7hSfG3tcfX7mSTPDvu6EdDNwEke6C1h9vEhAY=[/tex]