Диаграмма Венна (также используется название диаграмма Эйлера — Венна) — схематичное изображение всех возможных отношений (объединение, пересечение, разность, симметрическая разность) нескольких (часто — трёх) подмножеств универсального множества. На диаграммах Венна универсальное множество {\displaystyle U}U изображается множеством точек некоторого прямоугольника, в котором располагаются в виде кругов или других простых фигур все остальные рассматриваемые множества[1][2].
Диаграммы Венна применяются при решении задач вывода логических следствий из посылок, выразимых на языке формул классического исчисления высказываний и классического исчисления одноместных предикатов[3], для :
описания функционирования формальных нейронов Мак-Каллока и сетей из них[4]
синтеза надежных сетей из не вполне надежных элементов[5],
построения управляющих и самоуправляющихся систем и блочного анализа и синтеза сложных устройств[6],
получения логических следствий из заданной информации, минимизации формул исчислений[7][8].
Диаграммы Венна при {\displaystyle n}n фигур изображают все {\displaystyle 2^{n}}2^{n} комбинаций {\displaystyle n}n свойств, то есть конечную булеву алгебру[9]. При {\displaystyle n=3}n=3 диаграмма Эйлера — Венна обычно изображается в виде трёх кругов с центрами в вершинах равностороннего треугольника и одинаковым радиусом, приблизительно равным длине стороны треугольника.
Дальнейшим развитием аппарата диаграмм Венна в классическом исчислении высказываний является аппарат вероятностных диаграмм [10], понятие сети диаграмм, использующей диаграммы Венна как операторы[11].
Они появились в сочинениях английского логика Джона Венна (1834—1923), подробно изложившего их в книге «Символическая логика», изданной в Лондоне в 1881 году.
Объяснение:
Простыми преобразованиями эту задачу не решить, будем использовать арифметику остатков.
1-ое свойство, которое понадобится
То есть мы спокойно можем заменить каждое слагаемое сравнимым с ним по модулю m. То есть каждое слагаемое в нашей сумме будем рассматривать отдельно.
2-ое свойство, которое нам понадобится:
То есть довольно аналогичная вещь в произведении
На нашем примере все увидим
Находим остатки по модулю 31
Рассматриваем первое слагаемое. Просто двойка не годится, нам нужно найти ближайшее к 31 число, превосходящее его (иногда там в отрицательные числа залезаем, например, 
, но сейчас это не нужно), нам повезло, это 32
Учитываем, что 
, получаем
То есть остаток от деления первого слагаемое на 31 получился равным 10. Прекрасно, аналогично со вторым
Остаток 21, чудесно. Выполняем последний шаг.
То есть остаток от деления исходного числа на 31 равен 0, следовательно, исходное число делится на 31, что и требовалось доказать.
