Замена импликации на дизъюнкцию, Алгебра логики,...ещё