notes

Personal notes
git clone git://git.laack.co/notes.git
Log | Files | Refs

DistributiveLaw.md (348B)


      1 # Distributive Law
      2 
      3 1.3.2
      4 
      5 **Definition:** The distributive law of disjunction states $p \vee (q \wedge r) \equiv (p\vee q) \wedge (p \vee r)$.
      6 
      7 This can be thought of as being something or two other things. By this logic, we can then state it as the thing or one of the others and the thing or the second other.
      8 
      9 Either q and r or p must be true.