• Uso de variables booleanas (cuyos valores son 1 ó 0)

• Minitérmino: Es un producto booleano en la que cada variable aparece sólo una vez; es decir, es una expresión lógica que se compone de variables y los operadores lógicos AND y NOT. P. ejem. ABC y AB’C.

• Maxitérmino: Es una expresión lógica que se compone de variables y los operadores lógicos OR y NOT. P. ejem. A+B’+C y A’+B+C.

• En álgebra booleana, se conoce como forma canónica de una expresión, a todo producto o suma en la cual aparecen todas sus variables en su forma directa o inversa.

• Una expresión lógica puede expresarse en forma canónica usando minitérminos o maxitérminos.

• Todas las expresiones lógicas son expresables en forma canónica como una “suma de minitérminos” o como un “producto de maxitérminos”.