林同学的博客

摘要： 联结词划归 P＜＝＞Q ＜＝＞（P→Q）∧（Q→P）① ＜＝＞（¬P∨Q）∧（¬Q∨P）② ＜＝＞ (¬P∧¬Q) ∨（Q∧P） 同为假 同为真 “ ∧”可代表逻辑乘 ，“∨ ”可代表逻辑加 ③是由②进行分配率变化来的 （¬P∨Q）∧（¬Q∨P） ＜＝＞ (¬P∧¬Q) ∨（¬P∧P）∨(Q∧¬Q) 阅读全文