Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬((a∨b)(a∨c)(¬b∨c∨d)(a∨¬c∨d)(¬a∨¬c∨¬d)(b∨¬d))
~pvq→p^rv~q
z->(x->not(y))
yz⇒x
Identical expressions
yxy(xvy)v((xyvy)⊕(y⊕(xvy)))
yxyxvyvxyvy⊕y⊕xvy

Mathematical Logic/ yxy(xvy)v((xyvy)⊕(y⊕(xvy)))

Expression yxy(xvy)v((xyvy)⊕(y⊕(xvy)))

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

⌨