练习概念-2014091522053249

【文件属性】：

文件名称：练习概念-2014091522053249

文件大小：477KB

文件格式：PPT

更新时间：2024-04-13 04:28:46

java

练习1:概念 1. 设A与B为含n个命题变项的公式，判断下列命题是否为真？ (1) AB当且仅当A与B有相同的主析取范式 (2) 若A为重言式，则A的主合取范式为0 (3) 若A为矛盾式，则A的主析取范式为1 (4) 任何公式都能等值地化成{, }中的公式 (5) 任何公式都能等值地化成{, , }中的公式 说明: (2) 重言式的主合取范式不含任何极大项，为1. (3) 矛盾式的主合析范式不含任何极小项, 为0. (4) {, }不是完备集，如矛盾式不能写成{, }中的公式. (5) {, }是完备集. 真 假 假 假 真