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
(¬c∨a→b∧c∧¬a)→¬b∨c
¬c∨a→b∧c∧¬a→¬b∨c

Mathematical Logic/ (¬c∨a→b∧c∧¬a)→¬b∨c

Expression (¬c∨a→b∧c∧¬a)→¬b∨c

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

⌨