A single-literal term is a product (or sum) with only one literal: C in , or in .
In an AND-OR circuit it needs no AND gate: the wire goes straight into the OR. That is why it costs only one gate input in the gate input count.
The NAND-NAND catch. The output NAND of a NAND-NAND circuit inverts each input before ORing them (by De Morgan, a NAND is an OR with bubbled inputs). A product term arrives already inverted from its first-level NAND, so that works out. A single literal has no first-level gate, so you must feed its complement:
- For F = , the output NAND gets and . Then = .
- Reading it back: a plain wire C into the output NAND means a term.
The same rule holds for NOR-NOR: a single-literal factor enters the output NOR complemented. See two level logic.