The central process of Boolean reasoning is the extraction of a derived system from a given Boolean system (cf. Section 4.2). The derived system may be categorized as
functional (of the form X = F(Y)) or general (i.e., not necessarily functional).
antecedent or consequent.
KeywordsBoolean Function Full Adder Arithmetic Circuit Sequential Circuit Deducible Argument
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer Science+Business Media New York 1990