
[主观题]
用主析取范式判断下列公式的类型,并对可满足式求成真赋值。(1)p→((p∧q)∨(p∧ㄱq));(2)(p∨q)→(q→p);(3)ㄱ(p→r)∧r∧q。

查看答案
第1题
第5题
求下列公式的析取范式、合取范式及主析取范式、主合取范式,并根据主析(合)取范式直接确定该公式的弄真指派和弄假指派.
第9题
利用范式证明下列公式为永真式(证明合取范式的每一个合取项中含有互补文字,或其主析取范式中含有2n个析取项,n是公式中变元的个数).