Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬¬((x1∨x2∨x3)∧(x1∨¬x3∨¬x4)∧(¬x1∨¬x2∨¬x3∨x4))
(AvB)&(AvC)&(BvD)&(CvD)
(A∨B)∧(A∧¬B)
¬(a|b)=¬(a)∨(a∧b)
Identical expressions
¬¬((x1∨x2∨x3)∧(x1∨¬x3∨¬x4)∧(¬x1∨¬x2∨¬x3∨x4))
¬¬x1∨x2∨x3∧x1∨¬x3∨¬x4∧¬x1∨¬x2∨¬x3∨x4

Mathematical Logic/ ¬¬((x1∨x2∨x3)∧(x1∨¬x3∨¬x4)∧(¬x1∨¬x2∨¬x3∨x4))

Expression ¬¬((x1∨x2∨x3)∧(x1∨¬x3∨¬x4)∧(¬x1∨¬x2∨¬x3∨x4))

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

⌨