【多选题】
用等值演算法推导公式“(pù?q) ú (qù?p)”和下面哪个公式等价:
【多选题】
用等值演算法推导公式“(pùq) ú (pù?q)”和下面哪个公式不等价:
【判断题】
用等值演算法推导公式“(pùq) ú (pù?q)”和公式p相等价.
【多选题】
用等值演算法推导公式“p?q”和下面哪个公式等价:
【单选题】
命题公式(P∧(P→Q))→Q是( )
【多选题】
用等值演算法推导公式“? (p?q)”和下面哪个公式不等价:
【简答题】
求公式“(?p?q) ? (?qúp)”的主析取范式。
【简答题】
求公式“(pú (qùr)) ? (púqúr)”的主析取范式。
【单选题】
公式(P→Q)→(P→R)的成假指派为( ) (按(P, Q, R)的顺序)。
【简答题】
公式“(pú (qùr)) ? (púqúr)”的主析取范式为:[填空1]