שינויים
/* טאוטולוגיות */
כעת נוכל לנסח את הטענה בצורה מדויקת, תכונות הקשרים: לכל שלוש פסוקים <math>A,B,C</math> מתקיים כי:
* קיבוציות <math>(A\land B) \land C \equiv A\land (B \land C), (A\lor B) \lor C \equivAequiv A\lor (B \lor C) </math>* חילופיות <math>A\land B =\equivBequiv B\land A, A\lor B \equiv B\lor A</math>
* פילוג <math>A\lor (B\land C)\equiv (A\lor B)\land (A\lor C), A\land (B\lor C)\equiv (A\land B)\lor (A\land C)</math>
* כללי דה מורגן <math>\neg (A \lor B) \equiv \neg A \land \neg B, \neg (A \land B) \equiv \neg A \lor \neg B</math>. תוכיחו אחד מהם בתרגיל הבית
