Totuustaulukko
Syötä looginen lauseke muuttujilla A–E. Operaattorit: AND/&, OR/|, NOT/!, XOR/^, implikaatio -> ja yhtäpitävyys <->. Sulkeet sallittuja.
Luo minkä tahansa loogisen lausekkeen totuustaulu – syötä lauseke muuttujilla A–E ja operaattoreilla AND, OR, NOT ja XOR.
Syötä looginen lauseke muuttujilla A–E. Operaattorit: AND/&, OR/|, NOT/!, XOR/^, implikaatio -> ja yhtäpitävyys <->. Sulkeet sallittuja.
Totuustaulukkogeneraattori auttaa sinua luomaan minkä tahansa loogisen lausekkeen totuustaulun hetkessä. Syötä lauseke muuttujilla ja operaattoreilla, niin laskuri tunnistaa muuttujat ja laskee lausekkeen arvon kaikilla mahdollisilla yhdistelmillä. Laskuri sopii logiikan, matematiikan ja digitaalitekniikan opiskelijoille.
Totuustaulukko on taulukko, joka esittää loogisen lausekkeen totuusarvon jokaisella muuttujien arvojen yhdistelmällä. Arvo tosi merkitään usein ykkösellä (1) ja epätosi nollalla (0). Totuustaulu on perustyökalu propositiologiikassa ja digitaalisten piirien suunnittelussa.
Operaattorit lasketaan vakiintuneessa järjestyksessä: ensin NOT, sitten AND, sitten OR ja XOR, ja viimeisenä implikaatio ja yhtäpitävyys. Voit aina muuttaa järjestystä sulkeilla. Esimerkiksi lauseke A OR B AND C tulkitaan muodossa A OR (B AND C).
Totuustaulun rivien määrä kasvaa nopeasti muuttujien myötä, koska jokainen muuttuja kaksinkertaistaa yhdistelmien määrän:
rivien määrä = 2ⁿ
jossa n on muuttujien lukumäärä. Yhdellä muuttujalla rivejä on 2, kahdella 4, kolmella 8, neljällä 16 ja viidellä 32.
Tarkastellaan lauseketta A AND B. Muuttujia on kaksi, joten taulussa on 2² = 4 riviä. Käydään läpi kaikki yhdistelmät:
Lauseke on tosi vain viimeisellä rivillä, jossa molemmat muuttujat ovat tosia. Tämä on AND-operaation perusominaisuus.
Jos lauseke on tosi kaikilla riveillä, se on tautologia, esimerkiksi A OR NOT A. Jos lauseke on epätosi kaikilla riveillä, se on kontradiktio eli ristiriita, esimerkiksi A AND NOT A. Näiden tunnistaminen on hyödyllistä lausekkeiden vertailussa ja yksinkertaistamisessa.
Totuustauluja käytetään logiikan opetuksessa, ohjelmoinnin ehtolausekkeiden tarkistuksessa, digitaalipiirien suunnittelussa ja Boolen algebran lausekkeiden yksinkertaistamisessa. Ne tekevät loogisen lausekkeen käyttäytymisen näkyväksi yhdellä silmäyksellä.