En Álgebra booleana, se conoce como término "canónico" de una función lógica a todo producto o suma en la cual aparecen todas las variables en su forma directa o inversa.