Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬¬(x+y)&¬x
¬x∨(y*z)⇒¬(z*w)∨y
¬bc+¬b¬c
¬a&b&(b&cvc)va&c(a&b)va
Inequation:
x-
x-
Identical expressions
x->(x&y)
x minus greater than (x&y)
x->x&y
Similar expressions
xvx&yvx&z
x+>(x&y)
x&y&yv(-x)(-x)(-y)
x&y&zv!(x&y&z)vx&!y
not(notx&y)

Mathematical Logic/ x->(x&y)

Expression x->(x&y)

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

⌨