Truth Table Generator
Tämä sivu sisältää JavaScript-ohjelman, joka generoi totuustaulun annetusta loogisesta lauseesta. Voit syöttää useampia lausekkeita pilkuilla erotettuna. Taulun voi esittää eri muodoissa: html (täysi taulu tai kiinnostuksen kohteena oleva sarake), tekstimuodossa, tai LaTex-koodina. Voit myös valita arvojen "tosi" ja "epätosi" merkin.
|
Totuusarvojen symbolit:
T/F⊤/⊥ 1/0 Konnektiivien symbolit:
¬, ∧, ∨, →, ↔~, &, ∨, →, ↔ ~, &, ∨, ⊃, ≡ |
Taulun esitystapa:
html, koko tauluhtml, pääsarake tekstimuodossa LaTex-taulukko |
Symbolit: merkitse loogisia konnektiiveja syötteessäsi näin:
| ~ | negaatio |
| & | konjunktio |
| v | disjunktio |
| > | implikaatio |
| < > | ekvivalenssi |
| # | epätosi |
| | | NAND, ei-ja, niin sanottu "Sheffer Stroke" |
Tässä on joitakin esimerkkejä hyväksytyistä syötteistä:
- ~A
- (A & B)
- (# > (B v ~A))
- (A & (~B > C))
- (A<>(BvC)), A, (~B>C)
Lähdekoodi löytyy GitHubista, seuraa linkkiä tämän sivun oikeassa yläkulmassa.
Suuret kiitokset Michael Rieppel'lle, joka julkaisi generaattorin vapaana ohjelmistona MIT-lisenssillä. Salliva MIT-lisenssi mahdollisti tämän sivun suomentamisen.<