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．利用归结法证明。