Assertion list for term "function as inverter".

Results from Ascent++: 1
nand gate (subgroup of gate) CapableOffunction as inverter 0.25