Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
~(~(P∧Q)→~Q)∨P
¬(p∧q∧r)
((¬p∨q)∧(q→p))→(p∧¬q)
¬y¬xvxy
Identical expressions
(avb)*v*(avb)
(avb) multiply by v multiply by (avb)
(avb)v(avb)
avbvavb
Similar expressions
¬((¬avb)&(avb))v(avb)

Mathematical Logic/ (avb)*v*(avb)

Expression (avb)v(avb)

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

⌨