Totuustaulukko ilmaisee ns. formaalin matemaattisen lausekkeen totuusarvon. Formaalikielen lause on huomattavasti yksinkertaisempi kuin luonnollisen kielen lause, tällä kurssilla formaalit lauseet muodostetaan käyttämällä vain konnektiiveja (suhteita ilmaiseva sana)
EI, JA, TAI, JOS...NIIN, JOS JA VAIN JOS. Matem. logiikan formaali lause voi olla vain TOSI (true, t, 1) tai EPÄTOSI (false, f, 0).



Tällaisenaankin totuustaulukkoja voidaan käyttää hyödyksi mm. elektroniikassa kun suunnitellaan virtapiirejä. Elektronisissa piireissäkin joko virta kulkee (TOSI, 1) tai ei kulje (EPÄTOSI, 0) joten ei tarvita monimutkaisempia totuusarvoja. Monimutkaisia elektronisia laitteita kootaan yksinkertaisista palasista, ns. loogisista piireistä jotka ovat juuri samoja kuin nuo yllä mainitut konnektiivit.


_{t. Pete}