Similar to 否定論理積
チルダ
Tilde
バーティカルバー
Vertical bar
否定記号
部分構造論理
Substructural logic無矛盾
Consistency
メタ変数
Metavariable
矢印
Arrow (symbol)
リテラル
Literal (computer programming)
ロズンジ
論理的帰結
Logical consequence
論理結合子
逆含意
Converse implication
逆非含意
Converse nonimplication
論理的真理
Logical truth同値
If and only if
排他的論理和
Exclusive or非含意
Material nonimplication
否定
Negation
論理積
Logical conjunction論理包含
Material conditional
論理和
Logical disjunction
厳密含意
Strict conditional
論理回路
Logic gate
順序回路
Sequential logic
Template:論理ゲート
ANDゲート
AND gate
IMPLYゲート
IMPLY gate
XORゲート
XOR gate
