Predefinição:Logicalconnective
Notação | Fórmulas equivalentes | Tabela de verdade | Diagrama de Venn | |||||||||||||
{{{notation}}} | {{{equivalents}}} |
|
[[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'' NOR ''Q''
|equivalents=''P'' ↚ ¬''Q'' <br/> ¬''P'' ↛ ''Q'' <br/> ¬''P'' ∧ ¬''Q''<br/>X''pq''
|truthtable-00=1
|truthtable-01=0
|truthtable-10=0
|truthtable-11=0
|image=Venn1000.svg
}}
que produz essa saída:
Notação | Fórmulas equivalentes | Tabela de verdade | Diagrama de Venn | |||||||||||||
P ↓ Q P NOR Q |
P ↚ ¬Q ¬P ↛ Q ¬P ∧ ¬Q Xpq |
|
Editores podem experimentar nas páginas de teste (criar | espelhar) e de exemplos para testes (criar) desta predefinição. Subpáginas desta predefinição. |