Esperanto Lingvoj Fakoj ktp.
MAT

logika operacio

specoj

↘ aŭo

↘ disaŭo

↘ disjunkcio

↘ duobla implico

↘ ekskluziva disjunkcio

↘ ekvivalento 3

↘ implico 2

↘ implikacio

↘ kajo

↘ konjunkcio 2

↘ malaŭo

↘ negacio 2

vidu

→ bulea algebro 2

→ operacio 4.b

→ propozicio 2.a

→ vertabelo tabelo de vereco

→ vervaloro