• DocumentCode
    1465782
  • Title

    A necessary and sufficient criterion for the monotonicity of Boolean functions with deterministic and stochastic applications

  • Author

    Schneeweiss, Winfrid G.

  • Author_Institution
    Dept. of Comput. Eng., Fern Univ., Hagen, Germany
  • Volume
    45
  • Issue
    11
  • fYear
    1996
  • fDate
    11/1/1996 12:00:00 AM
  • Firstpage
    1300
  • Lastpage
    1302
  • Abstract
    It is shown how the property of being monotonous of any invariables combinational switching function can be checked by evaluating n possibly ternary functions of binary variables in a simple way. Those functions are then shown to play a key role in the sensitivity analysis of stochastic Boolean functions
  • Keywords
    Boolean functions; combinational switching; sensitivity analysis; Boolean functions; binary variables; combinational switching function; deterministic applications; monotonicity; necessary and sufficient criterion; sensitivity analysis; stochastic applications; ternary functions; Arithmetic; Boolean functions; Fault trees; Reliability theory; Sensitivity analysis; Stochastic systems; Switching circuits;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/12.544486
  • Filename
    544486