命题逻辑等值演算

- 1.3 命题逻辑等值演算 - p,q是命题变项，pq 与 pq在4个赋值00、01、10、11下均有相同的真值，即（pq） （pq）的取值都为1（重言式