Представьте себе что вы находитесь в магазине электротоваров и хотите быстро прикинуть в какую сумму обойдётся покупка плеера за 1490 рублей и музыкального диска за 199 рублей

1490+199=1689, все элементарно просто ;)

Вначале добавляем округленную сумму, затем вычетаем излишки
1490+200-1=1689

Дима = 3
Боря + Дима = Гриша + Андрей
Боря + Гриша < Дима + Андрей
Андрей < Гриши
Если Андрей поймал 2 рыбы, а Гриша 3, то
Боря + 3 = 2 + 3 = 5, тогда Боря = 2.
Но тогда Боря + Гриша = Дима + Андрей = 2+3 = 5
Если Андрей = 2, Гриша = 4 или больше, то
Боря +3 = 2 +4 = 6 или больше, Боря = 3 или больше.
Тогда Боря + Гриша > Дима + Андрей, не подходит.
Единственное подходящее решение:
Андрей = 1, Гриша = 2, Боря = 0. Тогда:
Боря + Дима = 0+3 = 3; Андрей + Гриша = 1+2 = 3; 3 = 3.
Боря + Гриша = 2, Андрей + Дима = 4; 2 < 4.
ответ: Гриша поймал 2 рыбы.

+ объединение
* пересечение
| дополнение

во всех трех пересечениях участвует объединение А+В, обозначим его Х
Тогда:
Х*(Х+С)*(Х+|С)
пересечение дистрибутивна к объединению (раскрываем скобки)
Х*(Х*(Х+|С)+С*(Х+|С))
и еще раз
Х*(Х*Х+Х*|С+С*Х+С*|С)
и последний раз
Х*Х*Х+Х*Х*|C+Х*С*Х+Х*С*|С
Пересечение коммутативно (К*М=М*К)
Х*Х*Х+Х*Х*|C+Х*Х*С+Х*С*|С
Пересечение иденпотентно ( К*К=К )
Х+Х*|С+Х*С+Х*С*|С
пересечение дистрибутивна к объединению (теперь выносим за скобки)
Х+Х*(С+|С)+Х*С*|С
по определению дополнения ( К+|К=Ω К*|К=∅)
Х+Х*Ω+Х*∅
свойства пересечения ( со всем - само, с пустым - пусто)
Х+Х+∅
Объединение индепотентно (К+К=К) и Объединение с пустым само
Х+∅=Х
вернем нашу замену назад:
А+В

Таким образом показали, что:
(A+B)(A+B+C)(A+B+|C)=А+В