0

I need to convert an expression to CNF. I've converted it to DNF and I know its CNF, but i just can't do it by myself.

I've tried the other answers, but with them it bloats to very long expression. It will took several hours just to write down.

$¬A¬B(¬C + D)(C + ¬D) + (A + B)(C¬D + ¬CD) $

This is DNF:

$¬A¬B¬C¬D + ¬A¬BCD + AC¬D + A¬CD + BC¬D + B¬CD $

Thank you

Ddystopia
  • 1
  • "Bloats to very long expression" ... this is typical, except for specially-chosen problems. Here, you have only 4 letters, so probably it is feasible to compute the truth table and use that to easily construct the CNF. – GEdgar Sep 24 '22 at 19:20

1 Answers1

1

An easy way to convert such expression is Wolfram Alpha.

enter image description here

Axel Kemper
  • 4,943