1. 给定命题公式(P∨Q)→R,该公式在联结词的完备集{┌,→}中的形式为,在{┌,∧}中的形式为,在{→,∨}中的形式为。(2.4节)
2. 任意两个不同极小项的合取为,全体极小项的析取式必为式。(2.6节)
3. 命题公式┌(P→Q)的主析取范式为,主合取范式为。(2.6节)
4. 命题公式┌(PQ)的主析取范式为,主合取范式为。(2.6节)
5. 给定前提┌(P∧┌Q),┌Q∨R,┌R,则有效结论为。(2.9节)
6. 给定前提(P∧Q)→R,┌R∨S,┌S,则有效结论为。(2.9节)
7. 给定前提┌P∨Q,┌Q∨R,R→S,则有效结论为。(2.9节)
8. 设计一个符合如下要求的室内照明控制线路:在房间的门外、门内及床头分别装有控制同一个电灯F的3个开关A,B,C。当且仅当一个开关的搬键都向上时电灯亮。则F的逻辑关系式可化简为。(2.1节)

9. 如果合同是有效的,那么张三应受罚。如果张三应受罚,他将破产。如果银行给张三贷款,他就不会破产。事实上,合同有效并且银行给张三贷款了。验证这些前提是否有矛盾。(2.10节)
  

10.利用归结法证明。