дХОКНЛМШЕ ПЮАНРШ, ЙСПЯНБШЕ ОПНЕЙРШ МЮ ГЮЙЮГ, ЙНМРПНКЭМШЕ ПЮАНРШ МЮ ГЮЙЮГ

 

мЮВЕПРЮРЕКЭМЮЪ ЦЕНЛЕРПХЪ оПЮЙРХЙСЛ ОН ПЕЬЕМХЧ ГЮДЮВ цЕНЛЕРПХВЕЯЙНЕ ВЕПВЕМХЕ хМФЕМЕПМЮЪ ЦПЮТХЙЮ еяйд йПЮРМШЕ ХМРЕЦПЮКШ лЮРЕЛЮРХВЕЯЙХИ ЮМЮКХГ лЮРПХЖШ оПЕДЕКШ оПНХГБНДМШЕ бЕЙРНПМЮЪ ЮКЦЕАПЮ хМРЕЦПЮКЭМНЕ ХЯВХЯКЕМХЕ ртйо ъДЕПМЮЪ ТХГХЙЮ щКЕЙРПНЯРЮРХЙЮ лЮЦМЕРХГЛ нОРХЙЮ хМТНПЛЮЖХНММШЕ РЕУМНКНЦХХ

Предыдущий разделУровень вышеСледующий раздел

Логические выражения

Программа Mathematica способна оперировать логическими выражениями. Константы True и False используются для обозначений истинного и ложного утверждений. Кроме констант логические выражения содержат переменные, соединенные следующими связками: And (&&, конъюнкция), Or (||, дизъюнкция), Not (!, логическое отрицание). Импликация задается функцией Implies или символом из палитры BasicInput. Функция LogicalExpand осуществляет упрощение логических выражений.


Пример
Определим значение логического выражения !(x>z) && !(x=y), если x=3, y=5, z=2.


Задание
Получите законы дополнения ( !(!a) = a ), идемпотентности ( a && a = a; a || a = a ) и поглощения ( a && (a || b) = a ) при помощи функции LogicalExpand.
Предыдущий разделУровень вышеСледующий раздел