Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬((1↔¬1)/\1)→1=
¬((xvy)&(zvx))&(zvy)
¬a&(¬a&b)&a∨b∨¬a
[(𝑝∨𝑞)∧(𝑝→𝑟)∧(𝑞→𝑟)]→𝑟
Identical expressions
¬((one ↔¬ one)/\ one)→ one =
¬((1↔¬1) divide by \1)→1 equally
¬((one ↔¬ one) divide by \ one)→ one equally
¬1↔¬1/\1→1=
¬((1↔¬1) divide by \1)→1=

Mathematical Logic/ ¬((1↔¬1)/\1)→1=

Expression ¬((1↔¬1)/\1)→1=

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

⌨