Back to ComputerTerms

A Boolean algebra B is a sextuple

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