Em termos de álgebra booleana, é plenamente possível trabalhar com teoremas que versam sobre mais de uma variável — aliás, tais são os casos de aplicação prática mais corriqueiros para fins de análise e simplificação de funções digitais. Entre os teoremas com mais de uma variável, encontram-se o que expressa que e o que expressa que , sendo que ambos comungam de determinada denominação. Assinale a alternativa que corresponde à descrição correta da denominação em questão.