Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬x¬y∨xy
{(~p^q)v(pvq)}{p^[q^(~rv~p)]}^~q
nota•notc+a•b+nota•c+a•notb
bvc&(a&b&c)vd
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 😉

⌨