Главная Случайная страница


Полезное:

Как сделать разговор полезным и приятным Как сделать объемную звезду своими руками Как сделать то, что делать не хочется? Как сделать погремушку Как сделать неотразимый комплимент Как сделать так чтобы женщины сами знакомились с вами Как сделать идею коммерческой Как сделать хорошую растяжку ног? Как сделать наш разум здоровым? Как сделать, чтобы люди обманывали меньше Вопрос 4. Как сделать так, чтобы вас уважали и ценили? Как сделать лучше себе и другим людям Как сделать свидание интересным?

Категории:

АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника






A В АvВ





0 0 0

0 1 1

1 0 1

1 1 1

Диаграмма Эйлера—Венна

 

Логическая операция ИНВЕРСИЯ (отрицание):

• в естественном языке соответствует словам неверно, что... и частице не;

_

• обозначение А;

• в языках программирования обозначение Not.

Отрицание — это логическая операция, которая каждому простому высказыванию ставит в соответствие составное вы­сказывание, заключающееся в том, что исходное высказывание отрицается.

В алгебре множеств логическому отрицанию соответствует операция дополнения до универсального множества, то есть множеству, получившемуся в результате отрицания множества А, соответствует множество А, дополняющее его до универсаль­ного множества.

 

 

_

A А

1 0

0 1Диаграмма Эйлера—Венна

 

Логическая операция ИМПЛИКАЦИЯ (логическое следова­ние):

• в естественном языке соответствует оборотуесли ..., то ...;

• обозначение=>.

Импликация — это логическая операция, ставящая в соот­ветствие каждым двум простым высказываниям составное вы­сказывание, являющееся ложным тогда и только тогда, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно.

А   В   А=>В  

Логическая операция ЭКВИВАЛЕНЦИЯ (равнозначность):

• в естественном языке соответствует оборотам речитогда и только тогда; в том и только в том случае;

• обозначения <=>, ~.

Эквиваленция — это логическая операция, ставящая в соот­ветствие каждым двум простым высказываниям составное вы­сказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одно­временно ложны.

 

Таблица истинности эквиваленции:

А   В   А<=>В  
     
     
     
     

Логические операции имеют следующий приоритет:



дейст­вия в скобках, инверсия, &, v, =>, <=>.

Пример 1. Определите истинность составного высказывания:

_ _

(А&В)&(С v D),

А = {Принтер — устройство вывода информации},

В = {Процессор — устройство хранения информации},

С = {Монитор — устройство вывода информации},

D = {Клавиатура — устройство обработки информации}.

Сначала на основании знания устройства компьютера уста­навливаем истинность простых высказываний:

 

А = 1, В = О, С= 1, D = 0.

Определим теперь истинность составного высказывания, ис­пользуя таблицы истинности логических операций:

_ _

(1&0)&(1 v 0) = (0&1)&(1 v 0) =0&1=0.

Составное высказывание ложно.

 






Date: 2015-06-06; view: 158; Нарушение авторских прав

mydocx.ru - 2015-2019 year. (0.005 sec.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав - Пожаловаться на публикацию