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
A&¬(¬Cv¬B)v¬(¬AvB)&CvA&C
A&¬¬Cv¬Bv¬¬AvB&CvA&C

Mathematical Logic/ A&¬(¬Cv¬B)v¬(¬AvB)&CvA&C

Expression A&¬(¬Cv¬B)v¬(¬AvB)&CvA&C

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

⌨