Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
~(~(P∧Q)→~Q)∨P
¬(p∧q∧r)
((¬p∨q)∧(q→p))→(p∧¬q)
¬C¬BDC+CB¬D¬C
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 😉

⌨