Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬z∨¬z
¬(x&(¬yvz)vyz)&(yvxz)&¬xvxy
¬((a∨c)∧(b∨c))⇔((d⊕¬a)⇒(a⇒(b∨d)))
z⇔(¬y*¬z*x+y*¬x*z)
Identical expressions
¬((a∨c)∧(b∨c))⇔((d⊕¬a)⇒(a⇒(b∨d)))
¬a∨c∧b∨c⇔d⊕¬a⇒a⇒b∨d

Mathematical Logic/ ¬((a∨c)∧(b∨c))⇔((d⊕¬a)⇒(a⇒(b∨d)))

Expression ¬((a∨c)∧(b∨c))⇔((d⊕¬a)⇒(a⇒(b∨d)))

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

⌨