テンプレート:論理演算のソースを表示

{{Navbox 
|name=論理演算
|title=[[論理演算]]
|state = {{{state|}}}
|listclass = hlist hlist-pipe
|list1=*[[恒真式|恒真式 ( <math>\top</math> )]]
|list2=*[[否定論理積|NAND ( <math>\uparrow</math> )]]
*[[逆含意|逆含意 ( <math>\leftarrow</math> )]]
*[[論理包含|IMP ( <math>\rightarrow</math> )]]
*[[論理和|OR ( <math>\lor</math> )]]
|list3=*[[否定|否定 ( <math>\neg</math> )]]
*[[排他的論理和|XOR ( <math>\oplus</math> )]]
*[[同値|同値 ( <math>\leftrightarrow</math> )]]
*[[命題]]
|list4=*[[否定論理和|NOR ( <math>\downarrow</math> )]]
*[[非含意|非含意 ( <math>\nrightarrow</math> )]]
*[[逆非含意|逆非含意 ( <math>\nleftarrow</math> )]]
*[[論理積|AND ( <math>\land</math> )]]
|list5=*[[矛盾|矛盾 ( <math>\bot</math> )]]
|image=[[Image:Logical connectives Hasse diagram.svg|80px]][[File:Alpha_channel_logic.gif|80px]]
}}<noinclude>
{{navbox documentation}}
{{DEFAULTSORT:ろんりえんさん}}
[[Category:論理学関連のテンプレート]]
[[Category:数学のナビゲーションテンプレート]]
</noinclude>