模板:Logicalconnective

[[{{{main}}}|{{{main}}}]]
符号 等价公式 真值表 文氏图
{{{notation}}} {{{equivalents}}}
  Q
0 1
P 0    {{{truthtable-00}}}   {{{truthtable-01}}} 
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 
1    1   0 





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