igazságtáblázat

Magyar

Kiejtés

• IPA: [ ˈiɡɒʒaːktaːblaːzɒt]

Főnév

igazságtáblázat

1. (matematika) Egy F logikai formula igazságtáblázatán egy olyan táblázatot értünk, ahol a formulában szereplő összes logikai változót összes lehetséges értékére kiértékeljük F logikai értékét. Ekkor célszerű a táblázat oszlopaiban felvenni az F -ben szereplő összes logikai változót, F összes részformuláját, valamint magát az F formulát.

   Tekintsük az $F(A,B,C)=(A\leftrightarrow B)\vee ((\neg B)\wedge C)$ logikai formulát. Ekkor F igazságtáblázata:

   ${\begin{array}{ccc|cccc}{A}&{B}&{C}&{A\leftrightarrow B}&{\neg B}&{(\neg B)\wedge C}&{F}\\\hline {i}&{i}&{i}&{i}&{h}&{h}&{i}\\{i}&{i}&{h}&{i}&{h}&{h}&{i}\\{i}&{h}&{i}&{h}&{i}&{i}&{i}\\{i}&{h}&{h}&{h}&{i}&{h}&{h}\\{h}&{i}&{i}&{h}&{h}&{h}&{h}\\{h}&{i}&{h}&{h}&{h}&{h}&{h}\\{h}&{h}&{i}&{i}&{i}&{i}&{i}\\{h}&{h}&{h}&{i}&{i}&{h}&{i}\end{array}}$

Fordítások

• angol: truth table (en)
• francia: table de vérité (fr)
• német: Wahrheitstabelle (de)
• orosz: таблица истинности (ru) (tablica istinnosti)