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