* קיבוציות <math>(A\land B) \land C =A\land (B \land C), A\lor B) \lor C =A\lor (B \lor C) </math>
* חילופיות <math>A\land B =B\land A, A\lor B, B\lor A</math>
* "פילוג" (דה מורגן) <math>A\lor (B\land C)= (A\lor B)\land (A\lor BC), A\land (B\lor C)= (A\land B)\lor (A\land BC)</math>