Boolean algebraic methods for phased-mission system analysis | lit.salon