Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
неA+B
¬C&(¬AvB)vA&B&C
¬(xv¬x)*v*(y&¬y)
¬((x∧y)∨(¬x)∧(¬y))∧(x∧(¬y))
Identical expressions
¬(xv¬x)*v*(y&¬y)
¬(xv¬x) multiply by v multiply by (y&¬y)
¬(xv¬x)v(y&¬y)
¬xv¬xvy&¬y

Mathematical Logic/ ¬(xv¬x)*v*(y&¬y)

Expression ¬(xv¬x)v(y&¬y)

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

⌨