Modelo:Logical connectives sidebar

Conectivas lóxicas
NOT (NON) $\neg A$, $-A$, ${\overline {A}}$, $\sim A$ AND (E) $A\land B$, $A\cdot B$, $AB$, $A\&B$, $A\&\&B$ NAND (NON E) $A{\overline {\land }}B$, $A\uparrow B$, $A\mid B$, ${\overline {A\cdot B}}$ OR (OU) $A\lor B$, $A+B$, $A\mid B$, $A\parallel B$ NOR (NON OU) $A{\overline {\lor }}B$, $A\downarrow B$, ${\overline {A+B}}$ XNOR (NON OU exclusivo) $A\ {\text{XNOR}}\ B$ └ equivalencia $A\equiv B$, $A\Leftrightarrow B$, $A\leftrightharpoons B$ XOR (OU exclusivo) $A{\underline {\lor }}B$, $A\oplus B$ └ non equivalencia $A\not \equiv B$, $A\not \Leftrightarrow B$, $A\nleftrightarrow B$ Implicación $A\Rightarrow B$, $A\supset B$, $A\rightarrow B$ Implicación recíproca $A\Leftarrow B$, $A\subset B$, $A\leftarrow B$

[ máis información | ver o historial | | | ver as instrucións ]

Indicacións de uso do modelo

Aínda non se redactaron as instrucións sobre como usar este marcador.

[ máis información | ver o historial | | | ver as instrucións ]

Este recadro non aparecerá no artigo.

Os editores poden probar cambios no mesmo en Modelo:Logical connectives sidebar/probas.
Por favor, engade as categorías na subpáxina de documentación e os interwikis no Wikidata. Ver as subpáxinas deste modelo.