Tablica prawdy

Tablica prawdy lub matryca logiczna – wprowadzony w XIX wieku przez logików amerykańskich, Charlesa Sandersa Peirce’a i Emila Leona Posta, 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 wartość 1, a fałszowi przypisuje się wartość 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ść (XNOR)
• dysjunkcja (NAND)
• binegacja (NOR)

Przykładowo, tablica prawdy dla operatora alternatywy:

A	B	Y = A or B
0	0	0
0	1	1
1	0	1
1	1	1

Zobacz też

• rachunek zdań
• prawa rachunku zdań
• algebra Boole’a

Linki zewnętrzne

• Tablica prawdy (ang.) w encyklopedii MathWorld