问答题 已知（￢（p→q）∧q）∨（￢（￢q∨p）∧p）是矛盾式，试判断公式￢（p→q）∧q及￢（￢q∨p）∧p的类型。

问答题 已知（p→（p∨q））∧（（p∧q）→p）是重言式，试判断公式p→（p∨q）及（p∧q）→p的类型。

问答题 已知公式（p∧q）→p是重言式，求公式（（p∧q→p））∨r的成真赋值和成假赋值。