Similar to 否定論理積
垂直記号
Up tack全称記号
Universal quantificationダイヤ (シンボル)
Diamonds (suit)ダウンタック記号
Tee (symbol)チルダ
Tildeバーティカルバー
Vertical bar否定記号
部分構造論理
Substructural logic無矛盾
Consistencyメタ変数
Metavariable矢印
Arrow (symbol)リテラル
Literal (computer programming)ロズンジ
論理的帰結
Logical consequence論理結合子
逆含意
Converse implication論理的真理
Logical truth同値
If and only if排他的論理和
Exclusive or否定
Negation論理積
Logical conjunction論理包含
Material conditional論理和
Logical disjunction厳密含意
Strict conditional論理回路
Logic gate順序回路
Sequential logicTemplate:論理ゲート
ANDゲート
AND gate