Title: Boolean algebra, the technique for manipulating "and", "or", "not", and conditions and applications to insurance