• Logic can be represented with Boolean equations.
• Boolean equations can be converted to (and from) ladder logic or digital circuits.
• Boolean equations can be simplified.
• Different controllers can behave the same way.
• Common logic forms exist and can be used to understand logic.
• Truth tables can represent all of the possible state of a system.