Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
∼r∨{(r⇔∼q)⇒[(q∧∼p)⇒(r⇒∼p)]}
¬xvyv¬y&zv¬yvz
¬b^avc
¬C¬BDC+CB¬D¬C
Identical expressions
-(x*(-x*-y))
minus (x multiply by ( minus x multiply by minus y))
-(x(-x-y))
-x-x-y
Similar expressions
-(x*(-x*+y))
-(x*(x*-y))
(x*(-x*-y))
x&y&yv(-x)(-x)(-y)

Mathematical Logic/ -(x*(-x*-y))

Expression -(x(-x-y))

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

⌨