BI-MLO
Foo
  • Introduction
  • Výroková logika
    • Symboly a operace
    • Pravdivostní tabulka
    • Slovník
    • Pravidla a zákony
    • Věty
    • Konverze
  • Predikátová logika
    • Hilbertův axiomatický systém
Powered by GitBook
On this page
  • NOT
  • AND, NAND, OR, NOR
  • Implikace, ekvivalence
  1. 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

PreviousSymboly a operaceNextSlovník

Last updated 1 year ago

AAA
BBB
¬A\lnot A¬A
¬B\lnot B¬B
AAA
BBB
A∧BA \land BA∧B
A↑BA \uparrow BA↑B
A∨BA \lor BA∨B
A↓BA \downarrow BA↓B
AAA
BBB
A⇒BA \Rightarrow BA⇒B
A⇔BA \Leftrightarrow BA⇔B