Суббота, 25.03.2017, 18:40
Главная Регистрация RSS
Вы вошли как Гость | Группа "Гости"Приветствую Вас, Гость
Поделиться
Статистика
Яндекс.Метрика
Flag Counter
Онлайн всего: 28
Гостей: 27
Пользователей: 1
Admin
» »
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, импликация

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


 

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



Всего комментариев: 0
avatar
  .