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:
 {| class="wikitable" style="text-align: center"
!width=30|A!!width=30|B!!Y = A o B
|-
|0||0||0
|-
|0||1||1
|-
|1||0||1
|-
|1||1||1
|-
|}

Kategorio:Logiko