Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(¬P⇒¬P)
a→(a∧b)
(P⇒Q)
(X→Y)→(¬X→¬Y)
Identical expressions
xv¬(¬x→y)*v¬(xv¬y)
xv¬(¬x→y) multiply by v¬(xv¬y)
xv¬(¬x→y)v¬(xv¬y)
xv¬¬x→yv¬xv¬y

Mathematical Logic/ xv¬(¬x→y)*v¬(xv¬y)

Expression xv¬(¬x→y)*v¬(xv¬y)

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

⌨