【判断题】
命题逻辑中任何命题公式的主析取范式如果存在,一定是唯一的。
【判断题】
任何一个命题公式总可以找到其唯一的主析取范式形式。
【简答题】
一个命题公式的真值表是唯一的,因此一个命题公式的主析取范式也是[填空1]的。两个命题公式如果有相同的主析取范式,那么这两个命题公式是[填空2]的。
【简答题】
求公式“? (p?q)”的主析取范式。
【简答题】
求公式“(?p?q) ? (?qúp)”的主析取范式。
【简答题】
公式“? (p?q)”的主析取范式为:[填空1]
【简答题】
求公式“(pú (qùr)) ? (púqúr)”的主析取范式。
【多选题】
公式“? (p?q)”的主析取范式中极小项下标有:
【简答题】
公式“(pú (qùr)) ? (púqúr)”的主析取范式为:[填空1]
【多选题】
公式“(?p?q) ? (?qúp)”的主析取范式中极小项下标有: