Построение диаграмм Венна

Круги Эйлера - геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления. Используется в математике, логике, менеджменте и других прикладных направлениях. Важный частный случай кругов Эйлера - диаграммы Эйлера-Венна, изображающие все 2^n комбинаций n свойств, то есть конечную булеву алгебру. При n = 3 диаграмма Эйлера-Венна обычно изображается в виде трёх кругов с центрами в вершинах равностороннего треугольника и одинаковым радиусом, приблизительно равным длине стороны треугольника.

При решении целого ряда задач Леонард Эйлер использовал идею изображения множеств с помощью кругов. Однако, этим методом ещё до Эйлера пользовался выдающийся немецкий философ и математик Готфрид Вильгельм Лейбниц. Лейбниц использовал их для геометрической интерпретации логических связей между понятиями, но при этом всё же предпочитал использовать линейные схемы. Но достаточно основательно развил этот метод сам Л. Эйлер. Методом кругов Эйлера пользовался и немецкий математик Эрнст Шрёдер в книге "Алгебра логики". Особенного расцвета графические методы достигли в сочинениях английского логика Джона Венна, подробно изложившего их в книге «Символическая логика», изданной в Лондоне в 1881 году. Поэтому такие схемы иногда называют Диаграммы Эйлера-Венна.

Windows приложение
 

Online

Можно построить диаграмму Венна для трех, четырех и пятиэлементных множеств. Допустимые операции над множествами в формуле. AND или символ `*` - пересечение. OR или символ `+` - объединение. SUB или символ `-` - вычитание. Регистр значения не имеет. Например:

(a-b-c-d) or (b-c-d-a) + (c-a-b-d)

c-(d-a-b)-(a-b-d)-(b-a-d)-a*b*c*d

a-b-c-d+(e*d)+(c-b)