truthTable

49 triples

GPTKB property

truthValues

Subject	Object
gptkb:three-valued_Łukasiewicz_logic	gptkb:unknown
gptkb:Łukasiewicz_logic	real numbers in [0,1] (in infinite-valued version)
gptkb:Fredkin_gate	A,B,C -> A, (A'B + AC), (A'C + AB)
gptkb:n-valued_Łukasiewicz_logic	finite set
gptkb:NAND_logic_gate	A=1, B=1 → Q=0
gptkb:three-valued_Łukasiewicz_logic	true
gptkb:NAND	A=0, B=1 → Output=1
gptkb:Łukasiewicz's_three-valued_logic	indeterminate
gptkb:NAND	A=1, B=1 → Output=0
gptkb:NAND	A=1, B=0 → Output=1
gptkb:8-to-1_multiplexer	available
gptkb:XNOR	A=0, B=0 → Output=1
gptkb:OR_Gate	0,0→0; 0,1→1; 1,0→1; 1,1→1
gptkb:OR_gate	0,0→0; 0,1→1; 1,0→1; 1,1→1
gptkb:Łukasiewicz's_three-valued_logic	false
gptkb:Peirce_arrow	true only when both inputs are false
gptkb:Nand	A=0, B=0 → Output=1
gptkb:Nand	A=1, B=1 → Output=0
gptkb:XNOR_gate	A=1, B=1, Output=1
gptkb:NOT_gate	input 1 → output 0