Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(x∨y⇒x∨y)&y
¬(xvy)v¬x*¬yvx
¬(x&(¬yvz)vyz)&(yvxz)&¬xvxy
z⇔(¬y*¬z*x+y*¬x*z)
Identical expressions
¬(xvy)v¬x*¬yvx
¬(xvy)v¬x multiply by ¬yvx
¬(xvy)v¬x¬yvx
¬xvyv¬x¬yvx

Mathematical Logic/ ¬(xvy)v¬x*¬yvx

Expression ¬(xvy)v¬x*¬yvx

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

⌨