Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
А×В×С+1
¬(x2)*x3*x4+x1*x2*x5+x3*x1*¬(x4)*¬(x1)+x2*x4+¬(x2)*¬(x3)*x4+x2*x4+(x1*x2*x3+1)*(¬(x1)*¬(x3)+¬(x1)*x3*x4+¬(x1)*x3*¬(x4)+¬(x1)*¬(x3))+¬(x1*x2)+x1*x2*¬(x5)
yz∨yz
x*y->x
Identical expressions
(¬x∨(yz))⇒((¬zw)∨y)
¬x∨yz⇒¬zw∨y
Similar expressions
¬x∨(y*z)⇒¬(z*w)∨y

Mathematical Logic/ (¬x∨(yz))⇒((¬zw)∨y)

Expression (¬x∨(yz))⇒((¬zw)∨y)

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

⌨

© Mister Exam – Calculator