Mister Exam

Lang:

How to use it?
Expression:
¬(¬(xy)∨(¬x¬y))xz∨xy
¬(c∧d)∨¬a∧¬c∧¬d∨(c∨¬b)∧a∨¬a∧b∧a∨¬a∧b∧¬c∧d∨a
~{[(~p)v(~q)]v~q}
xzxz
Identical expressions
((AvA)^(BvD)^(BvC))v((BvC)^(CvD))
((AvA) to the power of (BvD) to the power of (BvC))v((BvC) to the power of (CvD))
((AvA)(BvD)(BvC))v((BvC)(CvD))
AvABvDBvCvBvCCvD
AvA^BvD^BvCvBvC^CvD

Expression ((AvA)^(BvD)^(BvC))v((BvC)^(CvD))

The teacher will be very surprised to see your correct solution 😉

⌨