ホーム
おまかせ表示
付近
ログイン
設定
寄付
ウィキペディアについて
免責事項
検索
Category
:
論理結合子
言語
ウォッチリストに追加
編集
ウィキメディア・コモンズに関連カテゴリがあります。
Logical connectives
論理結合子
に関する
カテゴリ
。
関連カテゴリ:
Category:同値 (数学)
表
話
編
歴
論理演算
恒真式 (
⊤
{\displaystyle \top }
)
NAND (
↑
{\displaystyle \uparrow }
)
逆含意 (
←
{\displaystyle \leftarrow }
)
IMP (
→
{\displaystyle \rightarrow }
)
OR (
∨
{\displaystyle \lor }
)
否定 (
¬
{\displaystyle \neg }
)
XOR (
⊕
{\displaystyle \oplus }
)
同値 (
↔
{\displaystyle \leftrightarrow }
)
命題
NOR (
↓
{\displaystyle \downarrow }
)
非含意 (
↛
{\displaystyle \nrightarrow }
)
逆非含意 (
↚
{\displaystyle \nleftarrow }
)
AND (
∧
{\displaystyle \land }
)
矛盾 (
⊥
{\displaystyle \bot }
)
カテゴリ「論理結合子」にあるページ
このカテゴリには 13 ページが含まれており、そのうち以下の 13 ページを表示しています。
*
論理演算
論理結合子
き
逆含意
し
論理的真理
と
同値
は
排他的論理和
ひ
否定
否定論理積
否定論理和
ろ
論理積
論理包含
論理和
厳
厳密含意