计算题 用消解原理证明A→（B→C）∧（A→B）╞A→C逻辑蕴涵式．

用消解原理证明（A→B）∧（C→D）╞（A∧C）→（B∧D）逻辑蕴涵式． 点击查看答案

（2）求（1）在完备联结词组{↓}中的表达式． 点击查看答案