That branch of mathematics describing the behavior of linear functions of variables which are binary in nature: on or off, open or closed, true or false. All coherent fault trees can be converted into an equivalent set of Boolean equations.
NOTE: Online conference registration, membership renewal, and other online transactions will be unavailable between 3 AM EDT and 9 AM EDT. We apologize for the inconvenience.