Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
((P→Q)∧P)→Q
(A∧~B)∨(B∧~C)
┐((┐pΛq)V(┐pΛ┐q))V(pVq)
не((неbнеca)+(bca))
Identical expressions
(¬(xvy)->(xvy))&y
(¬(xvy) minus greater than (xvy))&y
¬xvy->xvy&y
Similar expressions
(¬(xvy)+>(xvy))&y
(¬xv¬y→xvy)&y
x&(xvy)&y-

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

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

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

⌨