Материал и инструкция
Как пользоваться
Калькулятор для нахождения сокращенных дизъюнктивных нормальных форм ( ДНФ ) , минимальных конъюнктивных нормальных форм ( КНФ ), составления таблицы истинности и построение диаграммы Эйлера-Венна множеств (бесплатно).
Правило ввода логических выражений:
Множества или выражения обозначаем большими буквами латинского алфавита A,B,C,D и т.д.
A' - штрихом обозначаем дополнения множеств (в данном случае дополнение множества A)
&& - конъюнкция ( логическое "И" )
|| - дизъюнкция ( логическое "ИЛИ" )
! - отрицание (ставим впереди выражения, пример !A)
\cap - пересечение множеств 
\cup - объединение множеств (сложение множеств) 
A&!B - обозначаем разность множеств A∖B=A-B
A=>B - импликация "Если ...., то"
A<=>B - эквивалентность