Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(¬P∨Q)
xyz∨x¬yz∨¬xy¬z∨xy¬z∨¬xyz
x=¬(a⇒c)*¬(a⊕¬b)
x=>(y=>z)
Identical expressions
(¬(¬avbvc))&(a&(bv¬(c)))&¬b
¬¬avbvc&a&bv¬c&¬b
Similar expressions
(¬(¬(a)vbvc)&(a&(bv¬(c))))&¬(b)

Mathematical Logic/ (¬(¬avbvc))&(a&(bv¬(c)))&¬b

Expression (¬(¬avbvc))&(a&(bv¬(c)))&¬b

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

⌨