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
¬(¬z(xvy))*(¬(¬y*(xvz))v(¬(¬x*(yvz))))
¬(¬z(xvy)) multiply by (¬(¬y multiply by (xvz))v(¬(¬x multiply by (yvz))))
¬(¬z(xvy))(¬(¬y(xvz))v(¬(¬x(yvz))))
¬¬zxvy¬¬yxvzv¬¬xyvz

Mathematical Logic/ ¬(¬z(xvy))*(¬(¬y*(xvz))v(¬(¬x*(yvz))))

Expression ¬(¬z(xvy))(¬(¬y(xvz))v(¬(¬x*(yvz))))

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

⌨