Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(¬z(xvy))*(¬(¬y*(xvz))v(¬(¬x*(yvz))))
¬(¬(x&z)v(¬(xvy)&zvx&y))
yv¬x⇒(yvz∨¬x)
xyz∨x¬yz∨¬xy¬z(¬x∨y∨z)∧(x∨¬y∨z)∧(x∨¬y∨¬z)
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 😉

⌨