求下列公式的析取范式,合取范式及主析取范式,主合取范式并根据主析(合)取范式直接确定该公式的弄真指派和弄假指派.
求下列公式的主合取范式,再用主合取范式求主析取范式.
求下列公式的主析取范式,再用主析取范式求合取范式:
用真值表求下列公式的主析取范式和主合取范式.(1)(p∨q)∧r;(2)p→(p∨q∨r);(3)ㄱ(q→ㄱp)∧ㄱp.
分别用真值表法和等值算法求下面命题公式的主析取范式与主合取范式,判断各公式的类型,并写出其相应的成真赋值和成假赋值. (1)P®(Q®R). (2)(P®(Q∨R))∧(ØP∨(Q"R)).
已知公式A含3个命题变项p,q,r,并且它的成假赋值为010,011,110,111,求A的主析取范式和主合取范式.
已知公式A含3个命题变项p,q,r,并且它的成真赋值为000,011,110,求A的主合取范式和主析取范式.