BI-MLO
Foo
Bar
More
Foo
Bar
Search...
Ctrl + K
Výroková logika
Pravdivostní tabulka
NOT
1
1
0
0
1
0
0
1
0
1
1
0
0
0
1
1
AND, NAND, OR, NOR
1
1
1
0
1
0
1
0
0
1
1
0
0
1
0
1
1
0
0
0
0
1
0
1
Implikace, ekvivalence
1
1
1
1
1
0
0
0
0
1
1
0
0
0
1
1
Previous
Symboly a operace
Next
Slovník
Last updated
11 months ago
A
A
A
B
B
B
¬
A
\lnot A
¬
A
¬
B
\lnot B
¬
B
A
A
A
B
B
B
A
∧
B
A \land B
A
∧
B
A
↑
B
A \uparrow B
A
↑
B
A
∨
B
A \lor B
A
∨
B
A
↓
B
A \downarrow B
A
↓
B
A
A
A
B
B
B
A
⇒
B
A \Rightarrow B
A
⇒
B
A
⇔
B
A \Leftrightarrow B
A
⇔
B
NOT
AND, NAND, OR, NOR
Implikace, ekvivalence