Patiesības tabula

Patiesības tabula, kas pazīstama arī kā patiesības vērtību tabula, ir tabula, kas saliktiem apgalvojumiem parāda patiesības vērtības atkarībā no tās sastāvdaļu patiesības vērtībām.

Patiesības tabulu izmanto, lai attēlotu vai definētu patiesības funkcijas vai Būla funkcijas, kā arī lai sniegtu vienkāršus pierādījumus.

noliegums ${\displaystyle a}$ ${\displaystyle \lnot a}$ p n n p

Kā piemērs vienvietīgai patiesības funkcijai šeit parādīta patiesības tabula noliegumam. Ta parāda saliktā apgalvojuma ${\displaystyle \lnot a}$ (lasa: ne ${\displaystyle a}$) patiesības vērtibu (patiess p vai nepatiess n) atkarībā no apgalvojuma ${\displaystyle a}$ patiesības vērtības. Piemēram, ja apgalvojums ${\displaystyle a}$ ir patiess, tad tā noliegums, ne ${\displaystyle a}$, ir nepatiess.

Šajā tabulā sniegtas patiesības vērtības saliktiem apgalvojumiem ${\displaystyle a}$∧ ${\displaystyle b}$ (lasa: ${\displaystyle a}$ un ${\displaystyle b}$), ${\displaystyle a}$∨ ${\displaystyle b}$ (lasa: ${\displaystyle a}$ vai ${\displaystyle b}$), un ${\displaystyle a}$→ ${\displaystyle b}$ (lasa: ja ${\displaystyle a}$, tad ${\displaystyle b}$), atkarībā no ${\displaystyle a}$ un ${\displaystyle b}$ patiesību vērtībām.

savienojums disjunkcija ietekme ${\displaystyle a}$ ${\displaystyle b}$ ${\displaystyle a}$∧ ${\displaystyle b}$ ${\displaystyle a}$∨ ${\displaystyle b}$ ${\displaystyle a}$→ ${\displaystyle b}$ p p p p p p n n p n n p n p p n n n n p