UseGate[gate]

1 if gate is used; 0 otherwise

AssignAGate[gate]

1 if input is assigned to gate; 0 otherwise

AssignBGate[gate]

1 if input is assigned to gate; 0 otherwise

Output[gate,row]

Output value for each gate and each row of truth table