Predefinição:Logicalconnective

[[{{{main}}}|{{{main}}}]]

Notação	Fórmulas equivalentes	Tabela de verdade	Diagrama de Venn
{{{notation}}}	{{{equivalents}}}	Q 0 1 P 0    {{{truthtable-00}}}   {{{truthtable-01}}}  1    {{{truthtable-10}}}   {{{truthtable-11}}}	[[Image:{{{image}}}|100px]]

Documentação da predefinição

Usage

Esta predefinição é destinada ao artigo conectivo lógico. A sintaxe é a seguinte:

{{logicalconnective
  |main=Porta NOR
  |title=Negação conjunta
  |notation=''P'' ↓ ''Q''<br/>''P''&nbsp;NOR&nbsp;''Q''
  |equivalents=''P'' ↚ ¬''Q'' <br/> ¬''P''  ↛ ''Q'' <br/> ¬''P'' &and; ¬''Q''<br/>X''pq''
  |truthtable-00=1
  |truthtable-01=0
  |truthtable-10=0
  |truthtable-11=0
  |image=Venn1000.svg
}}

que produz essa saída:

Negação conjunta

Notação	Fórmulas equivalentes	Tabela de verdade	Diagrama de Venn
P ↓ Q P NOR Q	P ↚ ¬Q ¬P ↛ Q ¬P ∧ ¬Q Xpq	Q 0 1 P 0    1   0  1    0   0