olemus
loogika haru, milles lausetel on kaks võimalikku tõeväärtust, "tõene" ja "väär" (neid kodeeritakse ka arvväärtustega 1 ja 0) ning liitlausete tõeväärtused arvutakse lihtlausete tõeväärtustest
= a mathematical system concerning the two truth values, TRUE and FALSE and the functions AND, OR, NOT

ülevaateid
https://en.wikipedia.org/wiki/Principle_of_bivalence
https://ncatlab.org/nlab/show/two-valued+logic
https://plato.stanford.edu/entries/truth-values/

vt ka
- Boole'i algebra