Основы логики в информатике: изучаем дизъюнкцию