Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬1&(1v1)v(¬0&1)
(x1↓x2↓x3)↓(x1↓¬x2↓x3)↓(¬x1↓¬x2↓¬x3)↓(x1↓¬x2↓¬x3)
(¬((¬p)∨(p∧(¬q))))∧((q∧r)∨(p∧(¬r)))
¬(y→(x≡w))∧(z→x)
Identical expressions
(x1↓x2↓x3)↓(x1↓¬x2↓x3)↓(¬x1↓¬x2↓¬x3)↓(x1↓¬x2↓¬x3)
x1↓x2↓x3↓x1↓¬x2↓x3↓¬x1↓¬x2↓¬x3↓x1↓¬x2↓¬x3

Mathematical Logic/ (x1↓x2↓x3)↓(x1↓¬x2↓x3)↓(¬x1↓¬x2↓¬x3)↓(x1↓¬x2↓¬x3)

Expression (x1↓x2↓x3)↓(x1↓¬x2↓x3)↓(¬x1↓¬x2↓¬x3)↓(x1↓¬x2↓¬x3)

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

⌨