Totuustaulukko on logiikassa käytetty matemaattinen taulukko, jonka avulla voidaan nähdä, onko looginen väite tosi jollekin syötearvolle. Totuustaulukoita käytetään ensisijaisesti boolen algebran, boolen funktioiden ja lauselaskutoimituksen yhteydessä. Totuustaulukossa on yksi sarake kullekin syötemuuttujalle, esim. A ja B ja rivi kullekin mahdolliselle syöttömuuttujien yhdistelmälle, jotka ovat tosi ja epätosi. Muut sarakkeet lisätään sitten kullekin loogiselle operaattorille, kuten "And", "Or" ja "XOR", ja näiden operaattoreiden tulokset kullekin syöteyhdistelmälle.
Technipages Explains Truth Table
Itävaltalainen filosofi Ludwig Wittgenstein on yleisesti tunnustettu totuustaulukon keksimisestä ja popularisoimisesta vuonna 1921 julkaistussa kirjassa. vaikka toisen filosofin Charles Sanders Peircen on sittemmin havaittu keksineen ne vuonna 1893 käsikirjoituksesta, jota ei koskaan julkaistu. julkaistu.
On 16 mahdollista toimintoa, jotka voidaan suorittaa kahdelle tosi tai epätosi muuttujalle. Nämä operaatiot ovat: Ristiriita – tämä on aina väärin; Looginen NOR – totta vain, kun A ja B eivät ole tosia; Käänteinen nonimplikaatio – on tosi, missä B on tosi ja A on epätosi; Negaatio – on totta vain, kun A on epätosi, B: n arvosta riippumatta; Aineellinen nonimplikaatio – on totta, kun A on ja B ei ole; Negaatio – yksinomainen disjunktio; Looginen NAND; Looginen kytkentä; Looginen kaksiehtoinen; Projektiotoiminto; aineellinen merkitys; Projektiotoiminto; Käänteinen implikaatio; Looginen disjunktio ja tautologia.
Jokaisella niistä on tietysti omat käyttötarkoituksensa ja tarkoituksensa, mutta niillä on yksi yhteinen piirre: Ne suoritetaan käyttämällä yhtä tai kahta tosi/epätosi muuttujaa. Näiden muuttujien ja operaatioiden yksinkertaisen (jos ei helposti ymmärrettävän) luonteen vuoksi se on mahdollista hajottaa monimutkaiset toiminnot pieneen joukkoon elementtejä – tosi/epätosi arvot ja edellä mainitut toiminnot.
Totuustaulukon yleiset käyttötavat
- Totuustaulukko on logiikassa käytetty matemaattinen taulukko.
- Jokainen totuustaulukon rivi sisältää yhden mahdollisen syötemuuttujien konfiguraation.
- Totuustaulukoita voidaan käyttää loogisten vastaavuuksien todistamiseen.
Totuustaulukon yleiset väärinkäytökset
- Totuustaulukot tarkistavat, ovatko taulukon tai tietokannan tiedot oikein.