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
¬Av(A&B)v(AvB)
¬(¬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 😉

⌨