Материал: 5469

26

Таблица 17 – Таблица истинности элемента «ИСКЛЮЧАЮЩЕЕ ИЛИ»

Составим таблицу условных обозначений основных логических элементов компьютера (таблица 18).

9. Таблица 18 – Условные обозначения логических элементов компьютера

27

10.Вопросы для самопроверки

1.Какие существуют основные формы мышления?

2.В чём состоит разница между содержанием и объёмом понятия?

3.Может ли быть высказывание выражено в форме вопросительного предложения?

4.Как определяется истинность или ложность простого высказывания? Составного высказывания?

5.Что содержат таблицы истинности и каков порядок их построения?

6.Какие логические выражения называются равносильными?

7.Какое количество логических функций двух аргументов существует и почему?

8.Какие логические функции двух аргументов имеют свои названия?

9.Какое существует количество логических функций трёх аргументов?

28

11.Решение логических задач

11.1.Примеры решения задач

Пример 1

Какой логической операции соответствует таблица истинности?

A B

0 0

01

10

1 1

F=A → B

Таблица истинности соответствует логической функции «импликация».

Пример 2

Найти значение логического выражения ,

при А=0 (false), В=1 (True), С=0 (False).

Решение: подставим значения переменных в выражение и вычислим его согласно приоритету выполнения операций:

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

Ответ: данное логическое выражение имеет значение True.

Пример 3

Найти значение логического выражения: (А<В) v (В>2) v (А ≠ 5) при А=5, В=-4. Решение: Подставим значения переменных в выражение и вычислим его со-

гласно приоритету выполнения операций:

(5<-4) v (-4>2) v (5 ≠ 5)=0 v 0 v 0=0.

Пример 4

Упростить логическое выражение: (А & В) v (А & ). Правильность упрощения проверить с помощью таблиц истинности.

Решение: Воспользуемся законом диструбтивности и вынесем за скобки А:

(А & В) v (А & ) = А & (В v ).

По закону исключённого третьего В v = 1, следовательно,

А & (В v ) = А & 1 = А.

Таким образом

(А & В) v (А & ) = А.

29

Составим таблицу истинности для выражения (А & В) v (А & )

Пример 5

По заданной логической схеме составить логическое выражение и заполнить для него таблицу истинности.

Решение: Используя обозначения логических элементов, составим логическое выражение .

Заполним для F таблицу истинности

Пример 6

Какое из приведённых имён удовлетворяет логическому условию:

(первая буква согласная → вторая буква согласная) Λ (предпоследняя буква гласная → последняя буква гласная)?

1)КРИСТИНА

2)МАКСИМ

3)СТЕПАН

4)МАРИЯ

30

Решение: Имя должно удовлетворять условию, значит, F=1. Заменим выражения на логические переменные:

первая буква согласная – А вторая буква согласная – В предпоследняя буква гласная – С последняя буква гласная – D (A→B)Λ(C→D) = 1.

Расставляем приоритеты логических операций. Сначала должна выполняться конъюнкция. Чтобы выражение было равно 1, необходимо, чтобы (A→B) = 1 и

(C→D) = 1.

Теперь рассмотрим импликации. В каждой из них есть по 3 возможных варианта, когда импликация равна 1.

A→B = 1.

Теперь будем проверять каждое имя.

КРИСТИНА: А=1, В=1, С=0, D=1 .A→B=1.C→D=1. Следовательно, это имя подходит.

МАКСИМ: А=1, В=0, С=1, D=0. A→B=0. C→D=0. Следовательно, это имя не подходит.

СТЕПАН: А=1 ,В=1, С=1, D=0 .A→B=1 .C→D=0. Следовательно, это имя не подходит.

МАРИЯ: А=1,В=0,С=1,D=1.A→B=0.C→D=1. Следовательно, это имя не подходит.