Encontra a menor FND (Formula Norma Disjuntiva), via método Dedutivo
(Regras Notáveis):
~p v ((q v ~ q) ʌ ~r ʌ (q v r))
Proposição Lógica

Proposição Lógica

  • 1.
    Encontra a menorFND (Formula Norma Disjuntiva), via método Dedutivo (Regras Notáveis): ~p v ((q v ~ q) ʌ ~r ʌ (q v r))