Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(P∧Q)∨¬((P∨Q)→(P∧Q))∨(P∨Q)
¬(P⇔Q)
~(~(~A∨B→A))∨B
¬(¬z(xvy))*(¬(¬y*(xvz))v(¬(¬x*(yvz))))
Identical expressions
xvx-&x= one
xvx minus &x equally 1
xvx minus &x equally one
Similar expressions
xvx+&x=1

Mathematical Logic/ xvx-&x=1

Expression xvx-&x=1

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

⌨