Predefinição:Logicalconnective
Aspeto
Notação | Fórmulas equivalentes | Tabela de verdade | Diagrama de Venn | |||||||||||||
{{{notation}}} | {{{equivalents}}} |
|
[[Image:{{{image}}}|100px]] |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/43/Test_Template_Info-Icon_-_Version_%282%29.svg/50px-Test_Template_Info-Icon_-_Version_%282%29.svg.png)
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 |
|
![]() |