Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
((P→Q)∧(Q→P))↔(P↔Q)
¬x∨(y*z)⇒¬(z*w)∨y
¬(¬z(xvy))*(¬(¬y*(xvz))v(¬(¬x*(yvz))))
¬(¬(bvc)v¬(avc)va&b)=c&¬avc&¬b
Identical expressions
-(-x*x+—x*-x)
minus ( minus x multiply by x plus —x multiply by minus x)
-(-xx+—x-x)
--xx+—x-x
Similar expressions
-(-x*x-—x*-x)
-(x*x+—x*-x)
-(-x*x+—x*+x)
(-x*x+—x*-x)

Mathematical Logic/ -(-x*x+—x*-x)

Expression -(-xx+—x-x)

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

⌨