truthTable
49
triples
GPTKB property
Alternative names (1)
truthValues
Random triples
| Subject |
Object |
|
gptkb:n-valued_Łukasiewicz_logic
|
finite set
|
|
gptkb:Peirce_arrow
|
true only when both inputs are false
|
|
gptkb:XNOR
|
A=1, B=1 → Output=1
|
|
gptkb:Nand
|
A=1, B=1 → Output=0
|
|
gptkb:NAND
|
A=0, B=0 → Output=1
|
|
gptkb:Sheffer_stroke
|
true unless both operands are true
|
|
gptkb:Nand
|
A=0, B=1 → Output=1
|
|
gptkb:Łukasiewicz's_three-valued_logic
|
indeterminate
|
|
gptkb:NAND_logic_gate
|
A=0, B=1 → Q=1
|
|
gptkb:Łukasiewicz_logic
|
finite set of values (in finite-valued version)
|
|
gptkb:n-valued_Łukasiewicz_logic
|
{0, 1/(n-1), 2/(n-1), ..., 1}
|
|
gptkb:XNOR
|
A=1, B=0 → Output=0
|
|
gptkb:Łukasiewicz's_three-valued_logic
|
true
|
|
gptkb:Fredkin_gate
|
A,B,C -> A, (A'B + AC), (A'C + AB)
|
|
gptkb:AND_Gate
|
0 0 | 0
|
|
gptkb:NOR
|
A=0, B=0 → Output=1
|
|
gptkb:NAND_logic_gate
|
A=1, B=0 → Q=1
|
|
gptkb:XOR_gate
|
0,0→0; 0,1→1; 1,0→1; 1,1→0
|
|
gptkb:AND_Gate
|
0 1 | 0
|
|
gptkb:OR_gate
|
0,0→0; 0,1→1; 1,0→1; 1,1→1
|