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
Link To Document