Back to ComputerTerms
A Boolean algebra B is a sextuple
<Domain, * (AND), + (OR), ' (complement), 0, 1>
Essentially this is an algebra such that a*a = a.
x + (y * z) = (x + y) * (x + z) x + x' = 1 x + 0 = x 0 <> 1 x * y = y * x x * (y + z) = (x * y) + (x * z) x * x' = 0 x * 1 = x
Back to ComputerTerms