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