Az igazságtábla egy matematikai táblázat, amelyet a logikában használnak, és segítségével ellenőrizhető, hogy egy logikai állítás igaz-e bármely bemeneti értékre. Az igazságtáblázatokat elsősorban a logikai algebrával, a logikai függvényekkel és a propozíciószámítással kapcsolatban használják. Az igazságtáblázatban minden bemeneti változóhoz egy oszlop tartozik, pl. A és B, valamint egy sor az igaz és hamis bemeneti változók minden lehetséges kombinációjához. Ezután minden egyes logikai operátorhoz további oszlopok kerülnek hozzáadásra, például „És”, „Vagy” és „XOR”, valamint ezen operátorok eredményei az egyes bemeneti kombinációkhoz.
Technipages Explains Truth Table
Általában Ludwig Wittgenstein osztrák filozófus nevéhez fűződik az igazságtáblázat feltalálása és népszerűsítése egy 1921-ben megjelent könyvében. bár azóta felfedezték, hogy egy másik filozófus, Charles Sanders Peirce találta fel őket 1893-ban egy kéziratban, amely soha nem közzétett.
16 lehetséges művelet van, amelyek két igaz vagy hamis változón keresztül hajthatók végre. Ezek a műveletek a következők: Ellentmondás – ez mindig hamis; Logikai NOR – csak akkor igaz, ha sem A, sem B nem igaz; Fordított nonimplikáció – igaz, ahol B igaz és A hamis; Negáció – csak akkor igaz, ha A hamis, B értékétől függetlenül; Anyagi nonimplikáció – akkor igaz, ha A van és B nem; Negáció – Kizárólagos diszjunkció; Logikai NAND; Logikai kötőszó; Logikai bifeltételes; Vetítési funkció; Anyagi vonatkozás; Vetítési funkció; Fordított következmény; Logikai diszjunkció és Tautológia.
Természetesen mindegyiknek megvan a maga felhasználási módja és célja, de van egy közös vonásuk: egy vagy két igaz/hamis változó használatával hajtják végre. E változók és műveletek egyszerű (ha nem is könnyen érthető) természete miatt lehetséges bonyolítsa le a bonyolult műveleteket egy kis elemkészletre – igaz/hamis értékekre és a fentiekre tevékenységek.
Az igazságtáblázat általános felhasználási módjai
- Az igazságtábla a logikában használt matematikai táblázat.
- Az igazságtábla minden sora a bemeneti változók egy lehetséges konfigurációját tartalmazza.
- Az igazságtáblázatok felhasználhatók a logikai ekvivalenciák bizonyítására.
Az igazsággal kapcsolatos gyakori visszaélések táblázat
- Az igazságtáblázatok ellenőrzik, hogy a táblákban vagy adatbázisokban lévő adatok helyesek-e.