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 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ść (XNOR)
- dysjunkcja (NAND)
- binegacja (NOR)
Przykład tablicy prawdy dla operatora alternatywy:
| A | B | Y = A or B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
Zobacz też[edytuj]
Linki zewnętrzne[edytuj]
- Tablica prawdy (ang.) w encyklopedii MathWorld
