Давайте напишем программу, которая будет находить одно лишнее число из трех. Программа будет просить пользователя ввести три числа, два из которых будут равны, а одно отличаться от других.

После этого программа будет сравнивать числа и определять, какое из них "лишнее".

Например, если первое число равно второму, то третье лишнее. А если второе равно третьему, то первое число является лишним.

На Python

Обозначим P,Q,A утверждение что х принадлежит соответствующему отрезку
¬А отрицание А, то есть х не принадлежит А
перепишем и упростим исходную формулу
P→((Q∧¬A)→P)
известно что X→Y=¬X∨Y (доказывается просто, например через таблицу истинности)
тогда:
P→(¬(Q∧¬A)∨P)
раскроем скобку ¬(Q∧¬A) с закона де Моргана (стыдно их не знать, если что это такие же основы как и таблицы истинности)
P→(¬Q∨¬¬A∨P) = P→(¬Q∨A∨P) = ¬P∨¬Q∨A∨P
¬P∨P=1 то есть всегда истинно и 1∨Х=Х значит ¬P и P можно убрать
остается ¬Q∨A
Значит х либо принадлежит А либо не принадлежит Q
для выполнения этого условия необходимо чтобы все значения Q принадлежали А, тогда минимальное А совпадает с Q
ответ А=[40,77]

Круги́ э́йлера — схема, с которой можно изобразить отношения между подмножествами, для наглядного представления. изобретены эйлером. используется в , логике, менеджменте и других прикладных направлениях. важный частный случай кругов эйлера — диаграммы эйлера — венна, изображающие все 2n комбинаций n свойств, то есть конечную булеву . при n=3 диаграмма эйлера — венна обычно изображается в виде трёх кругов с центрами в вершинах равностороннего треугольника и одинаковым радиусом, приблизительно равным длине стороны треугольника. при решении целого ряда леонард эйлер использовал идею изображения множеств с кругов. однако, этим методом еще до эйлера пользовался филосов и готфрид вильгельм лейбниц (1646—1716). но достаточно основательно развил этот метод сам л. эйлер. методом кругов эйлера пользовался и эрнст шрёдер (1841—1902) в книге « логики» . особенного расцвета графические методы достигли в сочинениях логика джонa венна (1843—1923), подробно изложившего их в книге «символическая логика» , изданной в лондоне в 1881 году. поэтому такие схемы иногда называют диаграммы эйлера — венна.