Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
((P→Q)∧P)→Q
(A∧~B)∨(B∧~C)
┐((┐pΛq)V(┐pΛ┐q))V(pVq)
¬В∧C∨¬А∧В
Identical expressions
(¬(¬y*(xvz))v¬(¬x(yvz)))*¬(¬z*(xvy))
(¬(¬y multiply by (xvz))v¬(¬x(yvz))) multiply by ¬(¬z multiply by (xvy))
(¬(¬y(xvz))v¬(¬x(yvz)))¬(¬z(xvy))
¬¬yxvzv¬¬xyvz¬¬zxvy

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

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

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

⌨