1.17 构造下面推理的证明。
（1）前提： 。
结论： 。
（2）前提： 。
结论： 。
（3）前提： 。
结论： 。
（4）前提： 。
结论： 。
1.18 如果他是理科学生，他必学好数学。如果他不是文科学生，他必是理科学生。他没学好数学。所以他是文科学生。
判断上面推理是否正确，并证明你的结论。
以下各题是填充题，题目要求均为从供选择的答案中选出应填入叙述中的□内的正确答案。
1.19 给定命题公式如下：
上述公式的成真赋值为A，成假赋值为B，公式的类型为C。
供选择的答案：
A：①无；②全体赋值；③010，100，101，111；④010，100，101，110，111。
B：①无；②全体赋值；③000，001，011；④000，010，110。
C：①重言式；②矛盾式；③可满足式。
1.20 给定命题公式如下：
上述公式的主析取范式中含极小项的个数为A，主合取范式中含极大项的个数为B，成真赋值为C。
供选择的答案
A：①2；②3；③5；④0；⑤8。
B：①0；②2；③5；④4。
C：①000，001，110；②001，011，101，110，111；③全体赋值；④无。
1.21 给定下列3组前提。
（1） ；
（2） ；
（3） 。
上述各前提中，（1）的逻辑结论（有效结论）为A，（2）的逻辑结论为B，（3）的逻辑结论为C。
供选择的答案
A，B，C：① ；② ；③ ；④ ；⑤ ；⑥ ；⑦ 。
1.22 设计一个符合如下要求的室内照明控制线路：在房间的门外、门内及床头分别装有控制同一个电灯F的3个天关A，B，C。当且仅当一个开关的板键向上或3个开关的板键都向上时电灯亮。则F的逻辑关系可化为简为A。
A：① ；② ；③ ；④ 。 |
