truthTable

49 triples

GPTKB property

truthValues

Subject	Object
gptkb:8-to-1_multiplexer	available
gptkb:XNOR	A=1, B=0 → Output=0
gptkb:Fredkin_gate	A,B,C -> A, (A'B + AC), (A'C + AB)
gptkb:n-valued_Łukasiewicz_logic	{0, 1/(n-1), 2/(n-1), ..., 1}
gptkb:Nand	A=1, B=0 → Output=1
gptkb:OR_Gate	0,0→0; 0,1→1; 1,0→1; 1,1→1
gptkb:Łukasiewicz's_three-valued_logic	indeterminate
gptkb:three-valued_Łukasiewicz_logic	false
gptkb:XNOR_gate	A=1, B=1, 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 0 \| 0
gptkb:NOR	A=1, B=1 → Output=0
gptkb:Nand	A=0, B=0 → Output=1
gptkb:XNOR	A=1, B=1 → Output=1
gptkb:Łukasiewicz's_three-valued_logic	true
gptkb:OR_gate	0,0→0; 0,1→1; 1,0→1; 1,1→1
gptkb:NAND_logic_gate	A=0, B=1 → Q=1
gptkb:XNOR	A=0, B=1 → Output=0
gptkb:Sheffer_stroke	true unless both operands are true