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
(xvyvz)(xvyyz')(xvy'vz)
(xvyvz)(xvyyz stroke first (1st) order )(xvy stroke first (1st) order vz)
xvyvzxvyyz'xvy'vz

Mathematical Logic/ (xvyvz)(xvyyz')(xvy'vz)

Expression (xvyvz)(xvyyz')(xvy'vz)

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

⌨