02:55
сведите к одному множеству

 

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

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


 

Категория: Теория множеств | Просмотров: 3050 | Добавил: Admin | Теги: калькулятор логических выражений, состовить СДНФ и СКНФ, таблица истинности онлайн, диаграммы Эйлера-Венна, МДНФ и МДНФ | Рейтинг: 3.0/2
Всего комментариев: 0
avatar
close