【判断题】
设A,B,C是命题公式,则AVBV﹁C也是命题公式。
【简答题】
一个命题公式的真值表是唯一的,因此一个命题公式的主析取范式也是[填空1]的。两个命题公式如果有相同的主析取范式,那么这两个命题公式是[填空2]的。
【单选题】
命题公式(P∧(P→Q))→Q是( )
【单选题】
3个命题变元可得到( )个真值结果不同的命题公式
【单选题】
设有代数系统G=〈A,*〉,其中A是所有命题公式的集合,*为命题公式的合取运算,则G的幺元是( )
【简答题】
命题公式中的一些命题变元和一些命题变元的否定之和,称为[填空1]