Source: wikibot/and-inverter-graph
= And-inverter graph
{wiki=And-inverter_graph}
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.