Logical Circuit Representation