Практическая работа №1

«Таблицы истинности логических высказываний»

Цель: «Сформировать навыки и умения построения таблиц истинности

логических высказываний»

Ход Работы

Высказывание - это повествовательное предложение, про которое

можно определенно сказать истинно оно или ложно (истина (логическая 1),
ложь (логический 0)).
Логические операции - мыслительные действия, результатом которых
является изменение содержания или объема понятий, а также образование
новых понятий.
Логическое выражение - устное утверждение или запись, в которое,
наряду с постоянными величинами, обязательно входят переменные
величины (объекты). В зависимости от значений этих переменных величин
(объектов) логическое выражение может принимать одно из двух возможных
значений: истина (логическая 1) или ложь (логический 0).
Сложное логическое выражение - логическое выражение, состоящее из
одного или нескольких простых логических выражений (или сложных
логических выражений), соединенных с помощью логических операций.
Размер таблицы истинности зависит от количества переменных по
формуле (каждый операнд принимает одно из двух значений - 0 или 1),
где n – это количество переменных.
 1. Логическое отрицание или инверсия.

Самой простой логической операцией является операция НЕ, по-

другому ее часто называют отрицанием, дополнением или инверсией и
обозначают NOT ( ). Если А - истинно, то - ложно и наоборот. Результат
отрицания всегда противоположен значению аргумента. Логическая
операция НЕ является унарной, т.е. действие выполняются над одним
операндом.

А
0 1
1 0
Таблица 1.1 - таблица истинности для отрицания

2. Логическое «И» или конъюнкция.

Логическое «И» еще часто называют конъюнкцией, или логическим

умножением. Операция «И» (обозначается «И», «&», А*В, ) имеет
результат «истина» только в том случае, если оба ее операнда истинны.
Функция: .

А В F
0 0 0
0 1 0
1 0 0
1 1 1
Таблица 1.2 - таблица истинности для коъюнкции
 3. Логическое «ИЛИ» или дизъюнкция.

Операция «ИЛИ» (обозначается «ИЛИ», «or», А+В, ) называется

дизъюнкцией или логическим сложением и дает «истину», если значение
«истина» имеет хотя бы один из операндов. Разумеется, в случае, когда
справедливы оба аргумента одновременно, результат по-прежнему
истинный. Функция: .

А В F
0 0 0
0 1 1
1 0 1
1 1 1
Таблица 1.3 - таблица истинности для дизъюнкции

4. Логическое следование или импликация.

Логическое следование или импликация - связывает два простых

логических выражения, из которых первое является условием (А), а второе
(В) - следствием из этого условия. Результатом импликации является ЛОЖЬ
только тогда, когда условие А истинно, а следствие В ложно. Обозначается
символом и выражается словами ЕСЛИ ... , ТО ... Функция: .

А В F
0 0 1
0 1 1
1 0 0
1 1 1
Таблица 1.4 - таблица истинности для импликации
 5. Логическая равнозначность или эквивалентность.

Логическая равнозначность: эквивалентность - определяет результат

сравнения двух простых логических выражений А и В. Результатом
эквивалентности является новое логическое выражение, которое будет
истинным тогда и только тогда, когда оба исходных выражения
одновременно истинны или ложны. Обозначается символом . Функция:
.

А В F
0 0 1
0 1 0
1 0 0
1 1 1
Таблица 1.5 - таблица истинности для эквивалентности

Порядок выполнения логических операций в сложном логическом

выражении: операции в скобках инверсия конъюнкция дизъюнкция
импликация эквивалентность.

Пример 1. Составить таблицу истинности сложного логического

выражения: ̅.
Определим количество переменных - их 3, значит количество строк в
таблице истинности = 23 = 8. Затем определяем количество и порядок
действий: 3 действия ( ̅, , ). Составляем таблицу
истинности:
 A B C
0 0 0 1 0 0
0 0 1 0 0 0
0 1 0 1 1 1
0 1 1 0 0 0
1 0 0 1 0 1
1 0 1 0 0 1
1 1 0 1 1 1
1 1 1 0 0 1
Таблица 1.6 - таблица истинности примера 1

Пример 2. Составить таблицу истинности сложного логического

выражения: ̅.
Определим количество переменных - их 3, значит количество строк в
таблице истинности = 23 = 8. Затем определяем количество и порядок
действий: 3 действия ( , ̅, ). Составляем
таблицу истинности:

A B C
0 0 0 1 1 1
0 0 1 1 0 0
0 1 0 0 1 0
0 1 1 0 0 0
1 0 0 0 1 0
1 0 1 0 0 0
1 1 0 1 1 1
1 1 1 1 0 0
Таблица 1.7 - таблица истинности примера 2

Пример 3. Составить таблицу истинности сложного логического

выражения: ̅̅̅̅̅̅̅̅̅̅̅
̅ ̅ .
Определим количество переменных - их 4, значит количество строк в
таблице истинности = 24 = 16. Затем определяем количество и порядок
действий: 6 действий ( ̅, , , ̅, ,
). Составляем таблицу истинности:
 A B C D
0 0 0 0 1 0 1 1 0 0
0 0 0 1 1 0 1 0 0 0
0 0 1 0 1 0 1 1 1 1
0 0 1 1 1 0 1 0 0 0
0 1 0 0 1 1 0 1 0 1
0 1 0 1 1 1 0 0 0 1
0 1 1 0 1 1 0 1 1 0
0 1 1 1 1 1 0 0 0 1
1 0 0 0 0 1 0 1 0 1
1 0 0 1 0 1 0 0 0 1
1 0 1 0 0 1 0 1 1 0
1 0 1 1 0 1 0 0 0 1
1 1 0 0 0 1 0 1 0 1
1 1 0 1 0 1 0 0 0 1
1 1 1 0 0 1 0 1 1 0
1 1 1 1 0 1 0 0 0 1
Таблица 1.8 - таблица истинности примера 3

Контрольные задания.

Составьте таблицы истинности для сложных логических выражений:

1.
2. ̅

3. ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅ ̅ ̅

4. ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅ ̅
5. ̅

Все указанные выше задания необходимо записать в тетради.

Решенные задания сфотографировать. Если объём фотографий
превышает 2 мегабайта, залейте фотографии в файлообменник
(например fex.net) и создайте текстовый документ, в котором будет
находиться ссылка на файлы. Полученный текстовый документ
прикрепить в качестве ответа в Moodle.