Definition. Distributing Conjunction [000k]
Definition. Distributing Conjunction [000k]
The distributive law of conjunction over disjunction states that for any formulas \(F\), \(G\), and \(H\), the following equivalence holds:
\[ \begin {align*} F \land (G \lor H) &\equiv (F \land G) \lor (F \land H) \\ (F \lor G) \land H &\equiv (F \land H) \lor (G \land H) \end {align*} \]