[ENGN3213 Home]

Digital circuits manipulate *boolean variables*,

which take values in the set

where

In boolean algebra, we consider expressions such as

which means:

In order forThis is just like in common sense. Boolean algebra is mathematically precise, and has rules and theorems concerning the manipulation of boolean expressions involving the boolean functions AND, OR, NOT.Xto be true, bothAandBmust be true.

[ENGN3213 Home]