Verotabelo

Verotabelo, valorotabelo o logikala matrico esas tabelala matematikala kombinuro di logikala valori (zeri ed uni) di argumenti di determinita propozicionala formulo ed exakte dependanta de logikala valori dil formulo, enqua 1 es verajo e 0 es falsajo.

La verotabelo havesas omna frazifi, exemple: disjunciono (OR), kontrevalenco (XOR), konjunciono (AND) o nego (NOT),

Logikala matrici dukteskis en 19ma yarcento Usana logikisti Charles Sanders Peirce e Emil Leon Post.

Por exemplo verotabelo por logikala disjunciono es:

A	B	Y = A o B
0	0	0
0	1	1
1	0	1
1	1	1