Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(a∨¬b⇒(c∧b))⇒¬avc
y=abc(¬a+¬b)+¬ac(a+b)
xy^yz
x=¬a×¬b+¬a×c
Identical expressions
(xvy)(y=>z)(z⇔x)
(xvy)(y equally greater than z)(z⇔x)
xvyy=>zz⇔x
Similar expressions
(xvyvz)(xvyyz')(xvy'vz)

Mathematical Logic/ (xvy)(y=>z)(z⇔x)

Expression (xvy)(y=>z)(z⇔x)

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

⌨