Mister Exam
Lang:
EN
EN
ES
RU
Mathematical logic signs and operations
How to use it?
Expression
:
(P∧Q)∨¬((P∨Q)→(P∧Q))∨(P∨Q)
¬(P⇔Q)
~(~(~A∨B→A))∨B
¬(¬z(xvy))*(¬(¬y*(xvz))v(¬(¬x*(yvz))))
Identical expressions
xy->(x->y)
xy minus greater than (x minus greater than y)
xy->x->y
Similar expressions
x(-x)(-y)
xyv(-x)(-y)
xy->(x+>y)
x&y&yv(-x)(-x)(-y)
x*y->yv-x*z
xvx-&x=1
x*y->y*x*z
xy+>(x->y)
x*y->y*-x*z
Mathematical Logic
/
xy->(x->y)
Expression xy->(x->y)
The teacher will be very surprised to see your correct solution 😉
Calculate!
⌨
¬
⇒
⇔
∨
&
⊕
∧
↓
(
)
→
↔
~
+
|
A
B
C
D
E
F
G
H
K
P
Q
R
S
T
Z