模板: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

注意管道符号 (|) 必须替代为 | 或其他替代者。