【判断题】
任何一个命题公式总可以找到其唯一的主合取范式形式。
【单选题】
3个命题变元可得到( )个真值结果不同的命题公式
【简答题】
一个命题公式的真值表是唯一的,因此一个命题公式的主析取范式也是[填空1]的。两个命题公式如果有相同的主析取范式,那么这两个命题公式是[填空2]的。
【判断题】
在三个变元的命题公式中,如果其主析取范式中所含小项的角标为1,2,4,5,6,则其主合取范式中所含大项的角标必定为0,3,7。
【简答题】
公式“? (q??p) ù?p”的主合取范式为:[填空1]
【简答题】
公式“(pùq) ú (?púr)”的主合取范式为:[填空1]
【判断题】
任何一个命题公式总可以找到其唯一的主析取范式形式。
【多选题】
公式“(pùq) ú (?púr)”的主合取范式中极大项下标没有:
【单选题】
设有代数系统G=〈A,*〉,其中A是所有命题公式的集合,*为命题公式的合取运算,则G的幺元是( )