Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
xvy&zv!x&!y&!z
av(b&c&c(avc))=(avb)&(avc)
(¬c∨a→b∧c∧¬a)→¬b∨c
(avb)⇔(a&b)
Identical expressions
av(b&c&c(avc))=(avb)&(avc)
av(b&c&c(avc)) equally (avb)&(avc)
avb&c&cavc=avb&avc
Similar expressions
¬(aavb)&(avc)&(bvc)
avb&(avcvb)
avb&(avcv¬b)

Mathematical Logic/ av(b&c&c(avc))=(avb)&(avc)

Expression av(b&c&c(avc))=(avb)&(avc)

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

⌨