Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(P∧Q)∨(¬P∧R)
((x→y)∧(y→w))∨(z≡(x∨y))
�(�(x+y)*x)
Неp*неx+неp*a+неa*неx
Identical expressions
(¬(¬avbvc))&(a&(bv¬(c)))&¬b
¬¬avbvc&a&bv¬c&¬b
Similar expressions
(¬(¬(a)vbvc)&(a&(bv¬(c))))&¬(b)

Mathematical Logic/ (¬(¬avbvc))&(a&(bv¬(c)))&¬b

Expression (¬(¬avbvc))&(a&(bv¬(c)))&¬b

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

⌨