问答题
用三种不同方法证明A↔B（A∧B）∨（￢A∧￢B）逻辑等价式和逻辑蕴涵式。
问答题 不用真值表，用带入、替换原理证明：I8，I9.
问答题 试用真值表验证I3，I4，I6，I7。
填空题 “a≥0”表示a＞0（）a=0；“a是非负实数“表示a≥0（）a是实数
（A∧B）∨（￢A∧￢B）逻辑等价式和逻辑蕴涵式。
