Formal Functional Specifications (continued):

3. Why call it "logic"?

The 19th Century Mathematician, George Boole, developed a math. system (algebra) involving formal principles of reasoning--- Boolean Algebra.

His variables took on

TRUE, FALSE

Later Shannon showed how to map Boolean Algebra to electric switches with

ON, OFF

The algebra also works for

HIGH, LOW & 1,0

Primitive functions of Boolean Algebra:

4.3