Functional Deduction

  • Frank Markham Brown


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.


Boolean 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.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1990

Authors and Affiliations

  • Frank Markham Brown
    • 1
  1. 1.Air Force Institute of TechnologyUSA

Personalised recommendations