Logic Circuit Validation