boolean algebra


Succeeds: propositions

Summary

Laws of boolean algebra

same as these laws but with different notation

Theorems

Concept

Propositions

for #cs2100 the operator precedence is 1) NOT, 2) AND then 3) OR

Duality

  • AND and OR operators can be interchanged and the equation will still remain valid

duality is not negation

Complement functions

  • negation of the boolean function

Application

Proof for absorption

Functions and complement functions