Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬X∧Yv¬(XvY)vX
¬A⋅¬B+C=0
(avb)vc<->av(bvc)
﹁((1→0)↔(1&1)V1)
Identical expressions
(avb)vc<->av(bvc)
(avb)vc less than minus greater than av(bvc)
avbvc<->avbvc
Similar expressions
avbvcv¬a
(avb)vc<+>av(bvc)
(¬(avbvc))v(¬(b))v((¬(av(¬(b))vc))&(¬((¬(a))vbvc)))v(¬(a))&b
¬avbvc

Mathematical Logic/ (avb)vc<->av(bvc)

Expression (avb)vc<->av(bvc)

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

⌨