Igazságtáblázat

1. Sablon:Humatek 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 ((\mathrm{\neg }B)\wedge C)$ logikai formulát. Ekkor F igazságtáblázata:

   $\begin{array}{ccccccc}A& B& C& A\leftrightarrow B& \mathrm{\neg }B& (\mathrm{\neg }B)\wedge C& F\\ 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}$

• Sablon:En: Sablon:T
• Sablon:Fr: Sablon:T
• Sablon:De: Sablon:T
• Sablon:Ru: Sablon:T