查看“︁Template:逻辑联结词侧面模板”︁的源代码

{{sidebar
| summary = Sidebar navigation for logical connectives in formal logic and mathematics
| name = 逻辑联结词侧面模板
| title = [[逻辑运算符|逻辑联结词]]
| bodystyle =
| titlestyle = font-size: 130%; margin: 6px 0px 6px 0px; background: #ddf;
| headingstyle = background: #eef; text-align: center;
| abovestyle = 
| above = 

<!--------------------- Logical Connectives ----------------------->
| content1 =
   {{aligned table|fullwidth=y|leftright=y|style=line-height:1.3em;
    | col2style=font-size:125%;line-height:0.8em;vertical-align:middle;white-space:nowrap;font-family:serif;
    | [[逻辑非|NOT]]
    | <math>\neg A, -A, \overline{A}, \sim A</math>
    | [[逻辑与|AND]]
    | <math>A \land B, A \cdot B, AB, A\ \&\ B, A\ \&\&\ B</math>
    | [[谢费尔竖线|NAND]]
    | <math>A \overline{\land} B, A \uparrow B, A \mid B, \overline{A \cdot B}</math>
    | [[逻辑或|OR]]
    | <math>A \lor B, A + B, A \mid B, A \parallel B</math>
    | [[逻辑或非|NOR]]
    | <math>A \overline{\lor} B, A \downarrow B, \overline{A+B}</math>
    | [[同或门|XNOR]]
    | <math>A \odot B, \overline{A \overline{\lor} B}</math>
    | └ [[恒真式|equivalent]]
    | <math>A \equiv B, A \Leftrightarrow B, A \leftrightharpoons B</math>
    | [[Exclusive or|XOR]]
    | <math>A \underline{\lor} B, A \oplus B</math>
    | └nonequivalent
    | <math>A \not\equiv B, A \not\Leftrightarrow B, A \nleftrightarrow B</math>
    | [[实质条件|implies]]
    | <math>A \Rightarrow B, A \supset B, A \rightarrow B</math>
    | [[实质非蕴涵|nonimplication (NIMPLY)]]
    | <math>A \not\Rightarrow B, A \not\supset B, A \nrightarrow B</math>
    | [[逆命题|converse]]
    | <math>A \Leftarrow B, A \subset B, A \leftarrow B</math>
    | {{Link-wikidata| Q5166459|converse nonimplication}}
    | <math>A \not\Leftarrow B, A \not\subset B, A \nleftarrow B</math>
   }}
<!---------------------- footer ------------------------->
| heading2 = 相关概念
| content2 = {{hlist|style=line-height:1.3em; |[[命题演算]] | [[一阶逻辑|谓词逻辑]] |[[布尔代数]] |[[真值表]]| [[真值函数]] | [[布尔函数]] | [[函数完备性]]| [[轄域]]}}

| heading3 = 应用
| content3 = {{hlist|[[逻辑门|数字逻辑]] | [[编程语言]] | [[数学逻辑]] | {{WikidataLink|Q2476757}}}}

}}<noinclude>{{sandbox other||
{{Documentation}}
}}
[[Category:数学模板|{{PAGENAME}}]]
[[Category:邏輯聯結詞| ]]</noinclude>