0:00
EspecialistaEquivalência LógicaVerificação de Equivalência

Converta a seguinte expressão para a Forma Normal Disjuntiva (DNF):

A → (B ∧ C)

DNF é uma disjunção de cláusulas, onde cada cláusula é uma conjunção de literais.