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

Vertabelo por kaj:

111
100
010
000

Vertabelo por :

111
101
011
000

Vertabelo pri ĉiuj duumaraj logikaj operatoroj

Ĉi sube estas vertabelo kun difinoj de ĉiuj 16 eblaj verfunkcioj pri 2 duumaj variabloj (P kaj Q estas do buleaj variabloj):

PQ 0  1  2  3  4  5  6  7  8  9 101112131415
VVFFFFFFFFVVVVVVVV
VFFFFFVVVVFFFFVVVV
FVFFVVFFVVFFVVFFVV
FFFVFVFVFVFVFVFVFV

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

Referencoj

Vidu ankaŭ