I have tried and errored a reasonable amount of times

[Steven D'Aprano]

On Tue, 02 Sep 2014 20:14:51 -0700, Rustom Mody wrote:

> Dijkstra
> used to point out
> 
> A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) A ∨ (B ∧ C) ≡ (A ∨ B) ∧ (A ∨ C) look
> normal enough in this form
> 
> Put then into the way engineers do it and they become A(B + C) = AB + AC
> A + BC = (A+B)(A+C)

o_O

Who uses + for disjunction (∨ OR) and concatenation for conjunction 
(∧ AND)? That's crazy notation.


-- 
Steven