Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
a→(a∧b)
(P⇒Q)
(X→Y)→(¬X→¬Y)
(!X0^!X1^!X2^X3)+(X0^!X1^!X2^X3)
Identical expressions
(¬xx¬y∨¬x¬xy)(xz∨¬x¬z)(y∨¬y)
¬xx¬y∨¬x¬xyxz∨¬x¬zy∨¬y

Mathematical Logic/ (¬xx¬y∨¬x¬xy)(xz∨¬x¬z)(y∨¬y)

Expression (¬xx¬y∨¬x¬xy)(xz∨¬x¬z)(y∨¬y)

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

⌨