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