SEARCH Articles Figures Tables Binary Boolean) variable Boolean Boolean Variables and Their Application in Fault Tree Analysis