Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
((P→Q)∧(Q→P))↔(P↔Q)
¬a∨a∧b⇒c∨b∧¬a
¬0
¬1&(1٧1)٧(¬0&1)
Identical expressions
(¬xx¬y∨¬x¬xy)(xz∨¬x¬z)(y∨¬y)
¬xx¬y∨¬x¬xyxz∨¬x¬zy∨¬y

Mathematical Logic/ (¬xx¬y∨¬x¬xy)(xz∨¬x¬z)(y∨¬y)

Expression (¬xx¬y∨¬x¬xy)(xz∨¬x¬z)(y∨¬y)

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

⌨