Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(¬x+y)(¬y+z)(¬z+x)
А^(В&А)⇒(А&В)
¬(x2x1⊕x3+¬x1⊕x3x1)⊕(x2+¬x1)
¬((a∨b)(a∨c)(¬b∨c∨d)(a∨¬c∨d)(¬a∨¬c∨¬d)(b∨¬d))
Identical expressions
¬((a∨b)(a∨c)(¬b∨c∨d)(a∨¬c∨d)(¬a∨¬c∨¬d)(b∨¬d))
¬a∨ba∨c¬b∨c∨da∨¬c∨d¬a∨¬c∨¬db∨¬d

Mathematical Logic/ ¬((a∨b)(a∨c)(¬b∨c∨d)(a∨¬c∨d)(¬a∨¬c∨¬d)(b∨¬d))

Expression ¬((a∨b)(a∨c)(¬b∨c∨d)(a∨¬c∨d)(¬a∨¬c∨¬d)(b∨¬d))

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

⌨