Основы алгебры логики: Дизъюнкция и её применение