Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
Неp*неx+неp*a+неa*неx
yvxv¬yvy(xvz)
x⇒z⇒(y⇒z⇒(x+y⇒z))
A&¬(¬Cv¬B)v¬(¬AvB)&CvA&C
Identical expressions
x⇒z⇒(y⇒z⇒(x+y⇒z))
x⇒z⇒(y⇒z⇒(x plus y⇒z))
x⇒z⇒y⇒z⇒x+y⇒z
Similar expressions
x⇒z⇒(y⇒z⇒(x-y⇒z))

Mathematical Logic/ x⇒z⇒(y⇒z⇒(x+y⇒z))

Expression x⇒z⇒(y⇒z⇒(x+y⇒z))

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

⌨