Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬a*(¬(b*c))+(¬(a*b)*(¬b))+(¬(¬(a+b)+c))
¬(¬((a↔b)∧(¬a→(¬b∨c))→c))
~(P→R)→~[(~P→Q)∧(~Q→~R)]
yyyy
Identical expressions
y1y3˅y1y2˅y1y2y3˅y2y3˅y2˅y3=y2˅y1y3˅y3
y1y3˅y1y2˅y1y2y3˅y2y3˅y2˅y3 equally y2˅y1y3˅y3

Mathematical Logic/ y1y3˅y1y2˅y1y2y3˅y2y3˅y2˅y3=y2˅y1y3˅y3

Expression y1y3˅y1y2˅y1y2y3˅y2y3˅y2˅y3=y2˅y1y3˅y3

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

⌨