Template:Logicalconnective

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

Notation	Equivalent formulas	Truth table	Venn diagram
{{{notation}}}	{{{equivalents}}}	Q 0 1 P 0    {{{truthtable-00}}}   {{{truthtable-01}}}  1    {{{truthtable-10}}}   {{{truthtable-11}}}	[[Image:{{{image}}}|100px]]

Template documentation

Usage

This template is intended for the logical connective article. The syntax is as follows:

{{logicalconnective
  |main=Sheffer stroke
  |title=Alternative denial
  |notation=''P''&nbsp;NAND&nbsp;''Q''<br/>''P''&nbsp;&#124;&nbsp;''Q''
  |equivalents=''P''&nbsp;&rarr;&nbsp;¬''Q'' <br/> ¬''P''&nbsp;&larr;&nbsp;''Q''<br/>¬''P''&nbsp;OR&nbsp;¬''Q''
  |truthtable-00=1
  |truthtable-01=1
  |truthtable-10=1
  |truthtable-11=0
  |image=Venn1110.svg
}}

which produces this output:

Alternative denial

Notation	Equivalent formulas	Truth table	Venn diagram
P NAND Q P | Q	P → ¬Q ¬P ← Q ¬P OR ¬Q	Q 0 1 P 0    1   1  1    1   0	File:Venn1110.svg

Note that the pipe symbol (|) must be represented as | or otherwise escaped.

Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages.
Subpages of this template.