В ы с ш е е о б р а з о в а н и е м. П. Лапчик, И. Г. Семакин, Е. К. Хеннер



Pdf көрінісі
бет154/437
Дата23.01.2022
өлшемі32,34 Mb.
#24228
1   ...   150   151   152   153   154   155   156   157   ...   437
Логическое  выражение
  —  простое  или  сложное  высказывание. 
Сложное высказывание строится из простых с помощью логичес­
ких операций  (связок).
Логические операции.
 В математической логике определены пять 
основных  логических  операций:  конъюнкция,  дизъюнкция,  от­
рицание,  импликация,  эквивалентность.  Первые  три  из  них  со­
ставляют 
полную  систему  операций,
  вследствие  чего  остальные 
операции могут быть выражены через них (нормализованы).  В ин­
форматике обычно  используются эти три  операции.
175


Конъюнкция
 (логическое умножение).  В русском языке она вы­
ражается союзом И. В математической логике используются знаки 
&  или д.  Конъюнкция  —  двухместная  операция;  записывается  в 
виде: 
А л В.
  Значение такого выражения будет ЛОЖЬ, если значе­
ние хотя  бы  одного  из  операндов ложно.
Дизъюнкция
 (логическое сложение).  В русском языке этой связ­
ке соответствуют союз ИЛИ. В математической логике она обозна­
чается знаком 
V . 
Дизъюнкция — двухместная операция; записыва­
ется  в  виде: 
A w   В.
  Значение  такого  выражения  будет  ИСТИНА, 
если  значение  хотя бы  одного из операндов  истинно.
Отрицание.
  В русском языке этой связке соответствует частица 
НЕ  (в  некоторых  высказываниях  применяется  оборот  «неверно, 
что...»).  Отрицание  —  унарная  (одноместная)  операция;  записы­
вается  в  виде:  —i 


Достарыңызбен бөлісу:
1   ...   150   151   152   153   154   155   156   157   ...   437




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет