离散数学逻辑等价式

- §1.3逻辑等值式 - - 定义：若公式A、B构成A B为永真式，称A、B逻辑等值，记为AB - A B 成为永真