Distributive laws (logic)

Layer 0 — Mathematicsin the logic subtree

Conjunction distributes over disjunction and vice versa. Mirror of arithmetic distributivity; key for CNF/DNF normal-form transformations.