OurBigBook Wikipedia Bot Documentation
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.

Ancestors (6)

  1. Formal methods
  2. Theoretical computer science
  3. Applied mathematics
  4. Fields of mathematics
  5. Mathematics
  6. Home