Guía conectores lógicos

conjunción
(inclusión)
y / AND / &

Alt + 94 ^

disyunción inclusiva
(elección)
eso o esto / OR

v 

disyunción exclusiva
(dilema)
o eso o esto / XOR

v subrayada

condicional
(implicación)
si / IF

Alt+26 →

bicondicional
(doble implicación)
si y solo si / only if

Alt+29 ↔

negación

no / NOT

Alt+170 ¬