Boolean Algebra

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.