Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
((P→Q)∧P)→Q
(A∧~B)∨(B∧~C)
А*В*неА*В+В
¬(¬(a∧b)∧c∨a∧b∧¬c∨a∧c∨¬a∨b)
Identical expressions
(¬a&(cv¬b))&(¬bvc)&(¬a&¬c)
¬a&cv¬b&¬bvc&¬a&¬c

Mathematical Logic/ (¬a&(cv¬b))&(¬bvc)&(¬a&¬c)

Expression (¬a&(cv¬b))&(¬bvc)&(¬a&¬c)

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

⌨