Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
xvy&z
Y=¬A&BvC
(A˅overC→overB˅C)→(A&overB→overA&overB)
p->q->((pvr)->(qvr))
Identical expressions
(A˅overC→overB˅C)→(A&overB→overA&overB)
A˅overC→overB˅C→A&overB→overA&overB

Mathematical Logic/ (A˅overC→overB˅C)→(A&overB→overA&overB)

Expression (A˅overC→overB˅C)→(A&overB→overA&overB)

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

⌨