Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
—(А&В)^(—(А&В)→(А&В))
¬((1↔¬1)/\1)→1=
xvx-&y
xv(y&z)=(xvy)&(xvz)
Identical expressions
—(А&В)^(—(А&В)→(А&В))
—(А&В) to the power of (—(А&В)→(А&В))
—(А&В)(—(А&В)→(А&В))
—А&В—А&В→А&В
—А&В^—А&В→А&В

Mathematical Logic/ —(А&В)^(—(А&В)→(А&В))

Expression —(А&В)^(—(А&В)→(А&В))

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

⌨