Review Note

What is logic equivalence?

Turns 2 formulas into a statement that is true whenever all truth assignement to the propositional symbols respond to the same outputs in both formulas. Important if two formulas don't use the exact same logic but produce the same outputs, always note this as \(\equiv\) and not =