• 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.