定理3:任意含n个命题变元的非永假命题公式A都存在与其等价的主析取范式,并且是惟一的.证明 设A¢是A的析取范式,即AÛA¢.若A¢的某个简单合取式Ai中不含命题变元P及其否定ØP,
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/07 08:36:41
xVNVJHVPJ$NȴjU*r^{nN=2M;Ydx^FGxR $9:=;xS_GkJ2
,u4-Wh[i%'e죶Z
nAjh
Ri-kR^yGҭi,t
vT2GbBdz
յwNt6uGcZ3[ 8>%Ǭ;f#:wqY)1cveČ-:y7$eA5V0G <V 2M~@P:g/,z&(S