Diff for "BooleanAlgebra"

Differences between revisions 5 and 6

See attachment:booleanalgebra.pdf for complete pdf description.

A Boolean algebra B is a sextuple

<Domain, * (AND), + (OR), ' (complement), 0, 1>

The following rules hold for a boolean algebra:

   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
   x * x = x

-  ⇤ ← Revision 5 as of 2005-01-23 18:54:28 → 
  Size: 543
  Editor: yakko
  Comment:
+   ← Revision 6 as of 2005-01-23 18:54:58 → ⇥
  Size: 553
  Editor: yakko
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 3:
-See attachment:filename for complete pdf description.
+See attachment:booleanalgebra.pdf for complete pdf description.