• DocumentCode
    1151158
  • Title

    Boolean Integral Calculus for Digital Systems

  • Author

    Tucker, Jerry H. ; Tapia, Moiez A. ; Bennett, A. Wayne

  • Author_Institution
    NASA Langley
  • Issue
    1
  • fYear
    1985
  • Firstpage
    78
  • Lastpage
    81
  • Abstract
    The concept of Boolean integration is introduced and developed. When the changes in a desired function are specified in terms of changes in its arguments, then ways of "integrating" (i.e., realizing) the function, if it exists, are presented. Boolean integral calculus has applications in design of logic circuits.
  • Keywords
    Base of Boolean function; Boolean calculus; Boolean differential; Boolean differential expression; Boolean integration; compatible integral; direct and inverse partial derivatives; edge-sensitive flip-flops; exact integral; Boolean functions; Calculus; Digital systems; Flip-flops; Logic circuits; NASA; Testing; Base of Boolean function; Boolean calculus; Boolean differential; Boolean differential expression; Boolean integration; compatible integral; direct and inverse partial derivatives; edge-sensitive flip-flops; exact integral;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/TC.1985.1676517
  • Filename
    1676517