Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
((P→Q)∧(Q→P))↔(P↔Q)
¬x∨(y*z)⇒¬(z*w)∨y
¬a&ab¬c&(b∨bc)(ab∨cd)
¬C¬BDC+CB¬D¬C
Identical expressions
¬(¬(bvc)v¬(avc)va&b)=c&¬avc&¬b
¬(¬(bvc)v¬(avc)va&b) equally c&¬avc&¬b
¬¬bvcv¬avcva&b=c&¬avc&¬b

Mathematical Logic/ ¬(¬(bvc)v¬(avc)va&b)=c&¬avc&¬b

Expression ¬(¬(bvc)v¬(avc)va&b)=c&¬avc&¬b

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

⌨