Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬x1*(x4*x2+x3*x4)+x1*(x4*¬x3+x2*¬x3*¬x4)
¬CBA+C¬B¬A
¬B&Av(¬A&B)&(¬BvA)vA&B=B
¬Av(A&B)v(AvB)
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 😉

⌨