שינויים

* קיבוציות (אסוציאטיביות) - <math>(A\land B) \land C \equiv A\land (B \land C), (A\lor B) \lor C \equiv A\lor (B \lor C) </math>* חילופיות (קומוטטיביות) - <math>A\land B \equiv 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>.