Beruflich Dokumente
Kultur Dokumente
Nitin Oke
For SAFE HANDS
∧ is associative p ∧ ( q ∧ r) ⇔ (p ∧ q) ∧ r
∨ is associative p ∨ ( q ∨ r) ⇔ (p ∨ q) ∨ r
∨ is distributive over ∧ ,
Means r ∨ (p ∧ q) ⇔ (r ∨ p) ∧ (r ∨ q)
∧ is distributive over ∨,
Means r ∧ (p ∨ q) ⇔ (r ∧ p) ∨ (r ∧ q)
p q p ∧ q
p
p ∨ q
q