Forma Normal Conjuntiva e Forma Normal Disjuntiva

Uma sentena est na forma normal conjuntiva (FNC) se for

um literal uma disjuno de literais uma conjuno de sentenas que sejam literais ou disjunes de literais.

Uma sentena est na forma normal disjuntiva (FND) se for

um literal uma conjuno de literais uma disjuno de sentenas que sejam literais ou conjunes de literais.

Pr uma sentena numa forma normal significa encontrar uma sentena nessa forma normal tautologicamente equivalente sentena considerada. Para pr uma sentena na FNC (FND) deve: 1 Pr na FNN se ainda no estiver; 2 Se a sentena na FNN no estiver na FNC (FND), ento deve usar as leis distributivas at obter uma sentena na FNC (FND)que lhe seja tautologicamente equivalente. Ateno: no deve usar outras leis pois se o fizer deixar de ter uma sentena na FNN.