Dizemos que a fórmula G é uma forma normal disjuntiva da fórmula F, quando F e G são logicamente equivalentes e,além disso, G é uma disjunção de fórmulas, as quais são conjunções, cujos termos são todas as proposições atômicas,com eventuais negações, que aparecem em F. Nessas condições, sendo p, q e r proposições atômicas, uma forma normaldisjuntiva para a fórmula F = (p → q) ∧(q → r) é G = X1 ∨ X2 ∨ X3 ∨ X4, onde, dentre as fórmulas X1, X2, X3 e X4, não figura
Autenticação
Limite Diário Atingido
Você atingiu o limite de 10 questões diárias para usuários sem plano. Ao se tornar um membro, você poderá:
Resolver mais questões e melhorar seu desempenho.
Acessar conteúdo exclusivo da IAProvatec.
Potencializar seus estudos com estatísticas avançadas.
Que tal se tornar um membro agora e aproveitar todos os recursos da plataforma?
