Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬¬a+b+c⇒¬b
¬a¬bcd∨¬abcd∨a¬b¬cd∨ab¬c¬d∨abcd
¬AvBv¬(¬BvA)vA&B
zx∨z¬y∨¬xy¬z
Identical expressions
yx⇒(z+yx)
yx⇒(z plus yx)
yx⇒z+yx
Similar expressions
yx⇒(z-yx)

Mathematical Logic/ yx⇒(z+yx)

Expression yx⇒(z+yx)

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

⌨