truthTable
49
triples
GPTKB property
Alternative names (1)
truthValues
Random triples
| Subject |
Object |
|
gptkb:XNOR
|
A=1, B=1 → Output=1
|
|
gptkb:NAND_logic_gate
|
A=1, B=0 → Q=1
|
|
gptkb:NOR
|
A=1, B=0 → Output=0
|
|
gptkb:Łukasiewicz's_three-valued_logic
|
false
|
|
gptkb:NAND_logic_gate
|
A=0, B=1 → Q=1
|
|
gptkb:NOR
|
A=0, B=0 → Output=1
|
|
gptkb:XNOR_gate
|
A=0, B=0, Output=1
|
|
gptkb:AND_Gate
|
0 1 | 0
|
|
gptkb:n-valued_Łukasiewicz_logic
|
{0, 1/(n-1), 2/(n-1), ..., 1}
|
|
gptkb:Xor
|
(0,0)=0; (0,1)=1; (1,0)=1; (1,1)=0
|
|
gptkb:8-to-1_multiplexer
|
available
|
|
gptkb:NOT_gate
|
input 1 → output 0
|
|
gptkb:2-to-1_multiplexer
|
A, B, S | Output; 0, 0, 0 | 0; 1, 0, 0 | 1; 0, 1, 1 | 0; 1, 1, 1 | 1
|
|
gptkb:Łukasiewicz_logic
|
real numbers in [0,1] (in infinite-valued version)
|
|
gptkb:XNOR
|
A=0, B=1 → Output=0
|
|
gptkb:XNOR_gate
|
A=1, B=0, Output=0
|
|
gptkb:XNOR
|
A=1, B=0 → Output=0
|
|
gptkb:three-valued_Łukasiewicz_logic
|
true
|
|
gptkb:Nand
|
A=1, B=1 → Output=0
|
|
gptkb:Nand
|
A=1, B=0 → Output=1
|