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
fDate :
11/1/1996 12:00:00 AM
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;
Journal_Title :
Computers, IEEE Transactions on
