igazságtáblázat

• IPA:

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 ${\displaystyle F(A,B,C)=(A\leftrightarrow B)\vee ((\neg B)\wedge C)}$ logikai formulát. Ekkor F igazságtáblázata:

   ${\displaystyle {\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}}}$

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