-
1 checking by resubstitution
• проверка чрез субституция в изходното уравнениеEnglish-Bulgarian polytechnical dictionary > checking by resubstitution
См. также в других словарях:
And-inverter graph — An and inverter graph (AIG) is a directed, acyclic graph that represents a structural implementation of the logical functionality of a circuit or network. An AIG consists of two input nodes representing logical conjunction, terminal nodes labeled … Wikipedia