Как пользоваться
Калькулятор логических выражений, операций над множествами
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, импликация
Данные значки можно копировать и вставлять в калькулятор!