Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(!X0^!X1^!X2^X3)+(X0^!X1^!X2^X3)
¬a^bva
¬(¬z(xvy))*(¬(¬y*(xvz))v(¬(¬x*(yvz))))
¬(¬(bvc)v¬(avc)va&b)=c&¬avc&¬b
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 😉

⌨