АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Таблицы истинности дополнительных операций

Читайте также:
  1. Анализ данных сводной таблицы Excel 2007
  2. Блок дополнительных вопросов для дипломников
  3. Включите в каждую колонку таблицы по 2-3 собственных примера. Ответ аргументируйте.
  4. Внешние таблицы стилей
  5. Два логических выражения равносильны, если их таблицы истинности совпадают с точностью до порядка строк.
  6. Для настройки многопользовательского режима требуется получить необходимое количество дополнительных сертификатов.
  7. Другой реальный путь обезвреживания галитовых отходов, но также требующий дополнительных расходов, – это их закачка в выработанные шахты, откуда они и были добыты.
  8. Заголовок таблицы печатается полужирным шрифтом размером 14 пунктов и при необходимости может быть продолжен на следующей строке с выравниванием по центру области печати заголовка
  9. Задание 1. Построить таблицы истинности для высказываний
  10. Задание Заполните правую сторону таблицы соответствующими показателями.
  11. История появления и развития электронной таблицы
  12. Лабораторная работа 17 Сводные таблицы Excel 2007

Импликация: Эквивалентность: Исключающее “или”:

A B A B
И И Л
И Л И
Л И И
Л Л Л
A B A ~ B
И И И
И Л Л
Л И Л
Л Л И
A B A -> B
И И И
И Л Л
Л И И
Л Л И

 

 

Пример: таблица истинности выражения ((A v B) & C)

A B C A v B (A v B) & C ((A v B) & C)
И И И И И Л
И И Л И Л И
И Л И И И Л
И Л Л И Л И
Л И И И И Л
Л И Л И Л И
Л Л И Л Л И
Л Л Л Л Л И

Пример вычисления значения выражения ((A B)&C) при заданных значениях логических переменных A = И, B = Л, C = И: Вычисляем значение выражения, стоящего под знаком инверсии (A B)&C, для этого сначала выполняем операцию в скобках (A B), подставляя значения переменных A и В. По определению дизъюнкции И v Л = И. Вычислим И & C. С = И, по определению конъюнкции И & И = И. Итак, (A B)&C) при заданных значениях логических переменных равно И. Применив инверсию (отрицание), получаем, что при A = И, B = Л, C = И ((A B)&C) = Л.

Булевский тип

Cуществуют всего два значения булевского (Boolean) типа: истина (обозначается True) и ложь (обозначается False).

Эти величины упорядочены следующим образом: False < True. Для булевских значений определены операции And, Or, Not, Xor, дающие также булевские значения.

Если значение логического выражения равно True, то говорят, что это выражение истинно, в противном случае выражение ложно.

Операция And (логическое умножение, конъюнкция, "и"): выражение a And b истинно в том и только в том случае, если и a, и b имеют значения true. Во всех остальных случаях выражение a And b ложно.

Операция Or (логическое сложение, дизъюнкция, операция "или"): выражение a Or b ложно тогда и только тогда, когда и а, и b имеют значения false. Во всех остальных случаях выражение истинно.

Операция Not (отрицание, инверсия, операция "не"): выражение Not a имеет значение, противоположное значению а.

Операция Xor (“исключающее или”): выражение a Xor b истинно тогда и только тогда, когда и а, и b имеют различные значения. Если значения а и b совпадают — выражение ложно.

Булевский тип имеют результаты операций сравнения =, >, <, >=, <=, <> вне зависимости от типа сравниваемых значений.

Преобразование выражений.

Дополнительные операции можно выразить через основные следующим образом:

А В = А vВ;

A ~ B = ( А vВ)& (А v В);

A B = ( А& В) v (А & В); Знак = означает равносильность.


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 |

Поиск по сайту:

Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.004 сек.)