Tablica prawdy

Tablica prawdy lub matryca logiczna – jest to stworzony w XIX wieku przez logika amerykańskiego Charlesa Sandersa Peirce'a, układ tabelaryczny zero-jedynkowych kombinacji wartości logicznych argumentów danej funkcji zdaniowej i dokładnie zależących od nich wartości logicznych tejże funkcji zdaniowej, w którym prawdzie odpowiada 1, a fałszowi przypisuje się 0.

Tablicę prawdy posiadają wszystkie funktory zdaniotwórcze, np.:

• alternatywa (OR)
• alternatywa wykluczająca (XOR)
• implikacja logiczna
• koniunkcja logiczna (AND)
• negacja (NOT)
• równoważność
• dysjunkcja (NAND)
• binegacja (NOR)

Zobacz też

• rachunek zdań
• prawa rachunku zdań
• Algebra Boole'a