Калькулятор логических выражений,  операций над множествами
1. Нахождение сокращенных дизъюнктивных нормальных форм (ДНФ)
2. Нахождение минимальных конъюнктивных нормальных форм (КНФ)
3. Таблицы истинности
4. Диаграммы Эйлера-Венна

Ввод символов:

Множества (или выражения) обозначаем большими буквами латинского алфавита A,B,C,D и т.д.

B' - штрихом обозначаем дополнения множеств (в данном случае дополнение множества B)  (complement B)
&& - конъюкция
|| - дизъюнкция
 ! - отрицание (ставим впереди выражения, пример !B)
∩ - пересечение множеств   (A intersect C)
∪ - объединение множеств (сложение множеств)  (A union B)
A&!B - обозначаем разность множеств A∖B=A-B

<=> - эквивалентность ∼, ≡, Eqv,=

=> - включает, следует ⊃, Imp, импликация

Данные значки можно копировать и вставлять в калькулятор!