Vertabelo
Vertabelo - estas unu el manieroj por difini logikan funkcion. Vertabelo enhavas ĉiujn eblajn rezultojn de logika funkcio.
Praktike, vertabelo konsistas el kolumnoj, po unu kolumno al ĉiu variablo (ekz. P kaj Q), kaj unu fina kolumno por ĉiu ebla rezulto rilatante al la logika operacio, kiun la vertabelo estas supozita reprezenti (ekz. P XOR Q). Ĉiu linio de la vertabelo do enhavas unu eblan kunigon de la enigaj variabloj (ekz. P = vera, Q = falsa), kaj unu rezulton de la operacio pri tiuj apartaj valoroj.
Ekzemploj
redaktiVertabelo por kaj:
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 0 |
Vertabelo por aŭ:
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
| 0 | 0 | 0 |
Ĉi sube estas vertabelo kun difinoj de ĉiuj 16 eblaj verfunkcioj pri 2 duumaj variabloj (P kaj Q estas do buleaj variabloj):
| P | Q | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| V | V | F | F | F | F | F | F | F | F | V | V | V | V | V | V | V | V | ||
| V | F | F | F | F | F | V | V | V | V | F | F | F | F | V | V | V | V | ||
| F | V | F | F | V | V | F | F | V | V | F | F | V | V | F | F | V | V | ||
| F | F | F | V | F | V | F | V | F | V | F | V | F | V | F | V | F | V |
kie V = vera and F = falsa.
Klarigo:
- 0, Opq, falsa, Kontraŭdiro
- 1, Xpq, NOR, Inversa disjunkcio
- 2, Mpq,q kaj ¬p
- 3, Fpq, ¬p, Negacio[1] de p
- 4, Lpq, p kaj ¬q
- 5, Gpq, ¬q, Negacio de q
- 6, Jpq, XOR, Ekskluziva disjunkcio[2]
- 7, Dpq, NAND, Inversa konjunkcio
- 8, Kpq, AND, Konjunkcio (logiko)[3]
- 9, Epq, XNOR, Se kaj nur se p identas al q
- 10, Hpq, q valoro
- 11, Cpq, Implico[4]
- 12, Ipq, p valoro
- 13, Bpq, Inversa implico
- 14, Apq, OR, Disjunkcio
- 15, Vpq, ĉiam vera, Taŭtologio