模板:Logicalconnective

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

符號

等價公式

真值表

文氏圖

{{{notation}}}

{{{equivalents}}}

		Q
		0	1
P	0	{{{truthtable-00}}}	{{{truthtable-01}}}
P	1	{{{truthtable-10}}}	{{{truthtable-11}}}

[[Image:{{{image}}}|100px]]

用法

本模板用於邏輯運算符條目，語法如下:


{{logicalconnective
  |main=謝費爾豎線
  |title=與非
  |notation=''P'' NAND ''Q''<br/>''P'' | ''Q''
  |equivalents=''P'' → ¬''Q'' <br/> ¬''P'' ← ''Q''<br/>¬''P'' OR ¬''Q''
  |truthtable-00=1
  |truthtable-01=1
  |truthtable-10=1
  |truthtable-11=0
  |image=Venn1110.svg
}}

這將生成如下輸出:

與非

符號

等價公式

真值表

文氏圖

P NAND Q
P

P → ¬Q
¬P ← Q
¬P OR ¬Q

		Q
		0	1
P	0	1	1
P	1	1	0

注意管道符號 (|) 必須替代為 | 或其他替代者。