Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(¬P∨Q)
P→(P∧(Q→P))
¬xyxz
¬a¬bc∨¬ab¬c∨¬abc∨a¬b¬c∨a¬bc∨ab¬c∨abc
Identical expressions
(¬(xvy)->(xvy))&y
(¬(xvy) minus greater than (xvy))&y
¬xvy->xvy&y
Similar expressions
(¬xv¬y→xvy)&y
(¬(xvy)+>(xvy))&y

Mathematical Logic/ (¬(xvy)->(xvy))&y

Expression (¬(xvy)->(xvy))&y

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

⌨