Алгебра логики и таблицы истинности. Лекция № 4

1.

Лекция № 4

2.

Логика - это наука о формах и способах мышления. Это
учение о способах их рассуждений и доказательств.
Понятие - это форма мышления, которая выделяет
существенные признаки предмета или класса предметов,
позволяющие отличать их от других.
Высказывание - это формулировка своего понимания
окружающего
мира.
Высказывание
является
повествовательным предложением, в котором что-либо
утверждается или отрицается.

3.

Умозаключение - это форма мышления, с помощью которой
из одного или нескольких суждений может быть получено
новое суждение (знание или вывод).
Логическая переменная - это простое высказывание,
содержащее только одну мысль.

4.

Ее символическое обозначение - латинская буква (например,
A,B,X,Y и т.д.).
Значением логической переменной могут быть только
константы ИСТИНА и ЛОЖЬ (1 и 0).
Составное высказывание - логическая функция, которая
содержит несколько простых мыслей, соединенных между
собой с помощью логических операций.
Ее символическое обозначение - F(A, B...)

5.

A
№ Логическая
связка
Название
Обозначение
Высказывание
Математическая
запись
1
и
конъюнкция
логическое умножение
,
*, And
AиВ
A B,
A * B,
2
или
дизъюнкция
логическое сложение
+, Or
A или В
A B
A + B,
A Or B
3
не
инверсия,
логическое отрицание
¬,
Not
не А
¬А,
Not A
4
Если…то
импликация,
логическое следование
→,
Если A, то В
A→B
A B
5
тогда и
только
тогда
эквивалентность,
равносильность,
логическое тождество
,
,
А тогда и
только
тогда, когда
В
А В,
А В,
A B
A And B
А В
А В

6.

Таблица истинности — таблица, определяющая значение
ложного высказывания при всех возможных значениях простых
высказываний
Конъюнкция
А В А^В
Дизъюнкция
А
В
AvB
Инверсия
А
¬А
Импликация
Эквивалентность
А
В А→В
А
В
А≡В
0
0
0
0
0
0
0
0
1
0
0
1
0
1
0
0
1
1
0
1
0
1
1
0
1
0
1
0
0
1
0
1
1
0
0
1
0
0
1
1
1
1
1
1
1
0
1
1
1
1
1
1
Вывод:
резу- Вывод: результат Вывод: результат Вывод: результат Вывод:
результат
льтат будет ис- будет ложным тог- будет
ложным, будет ложным тог- будет истинным тогтинным тогда и да и только тогда, если исходное
да и только тогда, да и только тогда,
только
тогда, когда оба исход- выражение
ис- когда из истинного когда оба высказыкогда оба исхо- ных высказывания тинно, и наоборот основания (А) сле- вания одновременно
дных высказы- ложны, и истиндует ложное след- либо ложны, либо
вания истинны ным в остальных
ствие (В)
истинны
случаях

7.

Если составное высказывание (логическую функцию)
выразить в виде формулы, в которую войдут логические
переменные и знаки логических операций, то получится
логическое выражение, значение которого можно
вычислить.
Значением логического выражения могут быть только ЛОЖЬ
или ИСТИНА.

8.

При составлении логического выражения необходимо
учитывать порядок выполнения логических операций, а
именно:
1) действия в скобках;
2) инверсия (¬), конъюнкция (^), дизъюнкция (v),
импликация (→), эквивалентность (≡).

9.

1.
2.
3.
4.
5.
Выяснить количество строк в таблице (вычисляется как
2n+1, где n — количество переменных).
Выяснить количество столбцов = количество переменных
+ количество логических операций.
Установить последовательность выполнения логических
операций.
Построить таблицу, указывая названия столбцов и
возможные наборы значений исходных логических
переменных.
Заполнить таблицу истинности по столбцам.

10.

Построим таблицу истинности для выражения F = (AvB)&(¬Av¬B).
Количество строк = 22 (2 переменных) + 1(заголовки столбцов) = 5.
Количество столбцов = 2 логические переменные (А, В) + 5 логических
операций (v, &, ¬, v, ¬) = 7.
Расставим порядок выполнения операций: 1 5 2 4 3
(AvB)&(¬Av¬B)

11.

А
В
AvB
¬А
¬В
¬Av¬B
(AvB)&(¬Av¬B)
0
0
0
1
1
1
0
0
1
1
1
0
1
1
1
0
1
0
1
1
1
1
1
1
0
0
0
0