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
noty&notzvz*xvnotz&y
noty&notzvz multiply by xvnotz&y
noty&notzvzxvnotz&y

Mathematical Logic/ noty¬zvz*xvnotz&y

Expression noty¬zvz*xvnotz&y

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

⌨