跳转到内容

Template: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 





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