Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(P∧Q)∨¬((P∨Q)→(P∧Q))∨(P∨Q)
¬(P⇔Q)
~(~(~A∨B→A))∨B
¬a&bv(¬b)&c&dv(¬c)&d
Identical expressions
x↓(xz+yz)⇔ one
x↓(xz plus yz)⇔1
x↓(xz plus yz)⇔ one
x↓xz+yz⇔1
Similar expressions
x↓(xz-yz)⇔1

Mathematical Logic/ x↓(xz+yz)⇔1

Expression x↓(xz+yz)⇔1

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

⌨