Перед выполнением работы прочтите все задания
http://www.wolframalpha.com/widgets/gallery/view.jsp?id=f128d94556e6a31ce678a58fbaee1ae
Правило ввода
логических выражений:
Множества или
выражения обозначаем большими буквами латинского алфавита
A,B,C,D и т.д.
A' - штрихом
обозначаем дополнения множеств (в данном случае дополнение
множества A)
&& -
конъюнкция ( логическое "И" )
|| -
дизъюнкция ( логическое "ИЛИ" )
! - отрицание
(ставим впереди выражения, пример !A)
\cap -
пересечение множеств
\cup -
объединение множеств (сложение множеств)
A&!B -
обозначаем разность множеств A∖B=A-B
A=>B -
импликация "Если ...., то"
http://www.wolframalpha-ru.com/search/label/Математическая%20логика
http://www.wolframalpha-ru.com/2012/02/wolframalpha.html
калькулятор логических
функций
https://www.kontrolnaya-rabota.ru/s/mathlogic/
|