Venn Diagrams 1.4 — для работы с логикой множеств и их графическим представлением

 

Бесплатная программа для работы с логикой множеств и их графическим представлением. Она создана в первую очередь для студентов, преподавателей, программистов и специалистов, изучающих дискретную математику и математическую логику. Утилита строит классические диаграммы Венна, наглядно показывая пересечения, объединения и исключения для двух, трех или четырех множеств. Программа автоматически рассчитывает и выводит полную таблицу истинности для введенного логического выражения. Venn Visualizer умеет упрощать логические выражения и подбирать математически равносильные (эквивалентные) формулы. Пользователь вводит логическое выражение (используя переменные и операторы вроде И, ИЛИ, НЕ), а программа мгновенно закрашивает соответствующие области на кругах Венна. Программа не требует сложных настроек, обладает минималистичным интерфейсом и фокусируется исключительно на математической точности, а не на дизайне.

Сайт: sourceforge.net/projects/vennvis/
Лицензия: бесплатно
Язык интерфейса: Английский
ОС: Windows XP – 11
Скачать: Venn Visualizer 1.4