Un "maxitérmino" es una expresión lógica de "n" variables que consiste únicamente en la disyunción lógica y el operador complemento o negación.