第二個問題的邏輯形式是:
(p？q∧r)∧(？q∨？r)？p(正確的形式描述得4分)
根據簡化真值表的特點，這個公式的主要連詞是蘊涵，所以如果蘊涵為假，那麽:
(p？q∧r)∧(？q∨？r)是真的嗎？p是假的。因此，公式分配如下:
(p？q∧r)∧(？q∨？r)？p
t t t t t t t t t f t
f