"Término canónico" es todo producto o suma en el que aparecen todas las variables de la función, directas o negadas.