Differences between revisions 3 and 8 (spanning 5 versions)
⇤ ← Revision 3 as of 2003-11-04 00:49:46 →
Size: 463
Editor: yakko
Comment:
← Revision 8 as of 2005-01-30 19:33:41 → ⇥
Size: 612
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 2: Line 2:

See attachment:booleanalgebra.pdf / attachment:booleanalgebra.tex for complete pdf description.
Line 26: Line 28:
   * FreeBooleanAlgebra
   * PresburgerArithmetic

Back to ComputerTerms

See attachment:booleanalgebra.pdf / attachment:booleanalgebra.tex 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

SEE ALSO:

Back to ComputerTerms

BooleanAlgebra (last edited 2005-06-16 14:57:52 by yakko)