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

{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%'
|-
! colspan=19 style='border-bottom-width:2px' | 逻辑联结词
|-
! colspan=19 style='border-top-width:2px' | 零元
|-
! rowspan=2 colspan=3 | 真值表
! colspan=8 | <math>\bot</math>
! colspan=8 | <math>\top</math>
|-
| colspan=8 style='background-color: rgba(0,255,0,0.1)' | T
| colspan=8 style='background-color: rgba(255,0,0,0.1)' | F
|-
! colspan=3 | 名称
| colspan=8 | [[真|真 <math>\top</math>]]
| colspan=8 | [[假|假 <math>\bot</math>]]
|-
! colspan=3 | 二进制编号
| colspan=8 | 0
| colspan=8 | 1
|-
! colspan=3 | 编号
| colspan=8 | 0
| colspan=8 | 1
|-
! colspan=19 style='border-top-width:2px' | 一元
|-
! rowspan=3 | 真值表
! colspan=2 | <math>p</math>
! colspan=4 | <math>\bot</math>
! colspan=4 | <math>\lnot p</math>
! colspan=4 | <math>p</math>
! colspan=4 | <math>\top</math>
|-
| colspan=2 style='background-color: rgba(0,255,0,0.1)' | T
| colspan=8 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=8 style='background-color: rgba(0,255,0,0.1)' | T
|-
| colspan=2 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=4 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=4 style='background-color: rgba(0,255,0,0.1)' | T
| colspan=4 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=4 style='background-color: rgba(0,255,0,0.1)' | T
|-
! colspan=3 | 名称
| colspan=4 | [[假|假 <math>\bot</math>]]
| colspan=4 | [[否定|否定（非） <math>\lnot</math>]]
| colspan=4 | [[恒等映射|（恒等映射 <math>\mathrm{id}</math>）]]
| colspan=4 | [[真|真 <math>\top</math>]]
|-
! colspan=3 | 缩写
| colspan=4 | -
| colspan=4 | NOT
| colspan=4 | -
| colspan=4 | -
|-
! colspan=3 | 二进制编号
| colspan=4 | 00
| colspan=4 | 01
| colspan=4 | 10
| colspan=4 | 11
|-
! colspan=3 | 编号
| colspan=4 | 0
| colspan=4 | 1
| colspan=4 | 2
| colspan=4 | 3
|-
! colspan=19 style='border-top-width:2px' | 二元
|-
! rowspan=5 | 真值表
! <math>p</math>
! <math>q</math>
! <math>\bot</math>
! <math>p \bar{\vee} q</math> <br/> <math>p \downarrow q</math>
! <math>p \nleftarrow q</math>
! <math>\lnot p</math>
! <math>p \nrightarrow q</math>
! <math>\lnot q</math>
! <math>p \oplus q</math> <br/> <math>p \nleftrightarrow q</math>
! <math>p \barwedge q</math> <br/> <math>p \uparrow q</math>
! <math>p \land q</math>
! <math>p \leftrightarrow q</math>
! <math>q</math>
! <math>p \rightarrow q</math>
! <math>p</math>
! <math>p \leftarrow q</math>
! <math>p \lor q</math>
! <math>\top</math>
|-
| rowspan=2 style='background-color: rgba(0,255,0,0.1)' | T
| style='background-color: rgba(0,255,0,0.1)' | T
| colspan=8 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=8 style='background-color: rgba(0,255,0,0.1)' | T
|-
| style='background-color: rgba(255,0,0,0.1)' | F
| colspan=4 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=4 style='background-color: rgba(0,255,0,0.1)' | T
| colspan=4 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=4 style='background-color: rgba(0,255,0,0.1)' | T
|-
| rowspan=2 style='background-color: rgba(255,0,0,0.1)' | F
| style='background-color: rgba(0,255,0,0.1)' | T
| colspan=2 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=2 style='background-color: rgba(0,255,0,0.1)' | T
| colspan=2 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=2 style='background-color: rgba(0,255,0,0.1)' | T
| colspan=2 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=2 style='background-color: rgba(0,255,0,0.1)' | T
| colspan=2 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=2 style='background-color: rgba(0,255,0,0.1)' | T
|-
| style='background-color: rgba(255,0,0,0.1)' | F
| colspan=1 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=1 style='background-color: rgba(0,255,0,0.1)' | T
| colspan=1 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=1 style='background-color: rgba(0,255,0,0.1)' | T
| colspan=1 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=1 style='background-color: rgba(0,255,0,0.1)' | T
| colspan=1 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=1 style='background-color: rgba(0,255,0,0.1)' | T
| colspan=1 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=1 style='background-color: rgba(0,255,0,0.1)' | T
| colspan=1 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=1 style='background-color: rgba(0,255,0,0.1)' | T
| colspan=1 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=1 style='background-color: rgba(0,255,0,0.1)' | T
| colspan=1 style='background-color: rgba(255,0,0,0.1)' | F
| colspan=1 style='background-color: rgba(0,255,0,0.1)' | T
|-
! colspan=3 | 名称
| [[假|假 <br/> <math>\bot</math>]]
| [[或非|或非 <br/> <math>\downarrow</math>/<math>\bar{\vee}</math>]]
| -
| [[否定|否定 <br/> 非 <br/> <math>\lnot</math>]]
| -
| [[否定|否定 <br/> 非 <br/> <math>\lnot</math>]]
| [[互斥析取|互斥析取 <br/> 异或 <br/> <math>\oplus</math>/<math>\nleftrightarrow</math>/<math>\veebar</math>]]
| [[与非|与非 <br/> <math>\uparrow</math>/<math>\barwedge</math>]]
| [[合取|合取 <br/> 且/与 <br/> <math>\land</math>]]
| [[等价（逻辑）|等价 <br/> 当且仅当 <br/> <math>\leftrightarrow</math>]]
| [[投影映射|投影映射 <br/> <math>\mathrm{proj}_2</math>]]
| [[蕴涵|蕴涵 <br/> 推出 <br/> <math>\rightarrow</math>]]
| [[投影映射|投影映射 <br/> <math>\mathrm{proj}_1</math>]]
| -
| [[析取|析取 <br/> 或 <br/> <math>\lor</math>]]
| [[真|真 <br/> <math>\top</math>]]
|-
! colspan=3 | 缩写
| -
| NOR
| -
| NOT
| NIMPLY
| NOT
| XOR
| NAND
| AND
| XNOR <br/> EQV
| -
| IMPLY
| -
| -
| OR
| -
|-
! colspan=3 | 二进制编号
| <small>0000</small>
| <small>0001</small>
| <small>0010</small>
| <small>0011</small>
| <small>0100</small>
| <small>0101</small>
| <small>0110</small>
| <small>0111</small>
| <small>1000</small>
| <small>1001</small>
| <small>1010</small>
| <small>1011</small>
| <small>1100</small>
| <small>1101</small>
| <small>1110</small>
| <small>1111</small>
|-
! colspan=3 | 编号
| 0
| 1
| 2
| 3
| 4
| 5
| 6
| 7
| 8
| 9
| 10
| 11
| 12
| 13
| 14
| 15
|}