Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
не((неx^неy)->(xv(z^неt)))
(x1⇒(x3|x2))⇔(¬x2x3|x2)
(A̅∪B̅∪С)∩((A)̅∩A∪B∩A)∩C̅∪(A̅∩C̅∪B)
(a→b)&(bvc)
Identical expressions
(x1⇒(x3|x2))⇔(¬x2x3|x2)
(x1⇒(x3 module of x2))⇔(¬x2x3|x2)
x1⇒x3|x2⇔¬x2x3|x2

Mathematical Logic/ (x1⇒(x3|x2))⇔(¬x2x3|x2)

Expression (x1⇒(x3|x2))⇔(¬x2x3|x2)

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

⌨