Search code examples
boolean-logicdiscrete-mathematicscircuithdl

How do I express a boolean expression comprised of AND, OR and NOT using only AND and NOT?

Say I have the following boolean expression:

(A^B^C) v (~A^~C)

How could I express that using only AND (^) and NOT (~)? I don't want the answer, just how I would go about doing it.

Solution

  • Since this question is showing up as unanswered, I'll echo the others and say that De Morgan's law (A v B) == ~(~A ^ ~B) will work.