How could I convert this into CNF? I'm stuck because I don't see anyway to add ANDs in here to get it in the proper from. Usually, I would use DeMorgan's or distribute, but that isn't an option here.

A ∨ B ∨ C

  • $\begingroup$ It's already in CNF. Just one clause. $\endgroup$ – Fabio Somenzi Oct 19 '19 at 13:18
  • $\begingroup$ Ah, I see. Is there a way to change it to 2-CNF? $\endgroup$ – fxcd Oct 19 '19 at 13:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.