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