Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬x∨(y*z)⇒¬(z*w)∨y
¬a&ab¬c&(b∨bc)(ab∨cd)
¬(¬(bvc)v¬(avc)va&b)=c&¬avc&¬b
¬(¬(a&b)v¬(cvb)&avc)v¬(bvc)
Identical expressions
~{[(~p)v(~q)]v~q}
~{[~pv~q]v~q}

Mathematical Logic/ ~{[(~p)v(~q)]v~q}

Expression ~{[(~p)v(~q)]v~q}

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

⌨

© Mister Exam – Calculator