Machine-translated by Google. Questions are authored in English.
Top

Discussion

What do De Morgan's laws state?

  • A.Negation converts conjunction into disjunction and the reverse
  • B.Conjunction distributes over disjunction and the reverse
  • C.Double negation may always be eliminated from a formula
  • D.Implication may be rewritten using negation and disjunction

Answer: A

The laws say that the negation of a conjunction is the disjunction of the negations, and dually, which is what drives negations inward during conversion to normal form. Distribution, double negation elimination and implication elimination are the other rewriting rules used in the same procedure. Having a named set of equivalences that between them suffice to reach a normal form is what makes the conversion a mechanical procedure rather than an art.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.