An And-inverter graph (AIG) is a directed acyclic graph (DAG) that is used in digital design and logic synthesis to represent Boolean functions. It is a particular type of binary decision diagram (BDD) where nodes correspond to AND operations and inverters (NOT operations), hence the name. In an AIG: 1. **Nodes**: The graph has two types of nodes: - **AND gates**: These nodes represent the logical AND operation.
New to topics? Read the docs here!