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

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

Calculate!