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

1.

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

2.

Элементы алгебры логики. Логические операции
1
2
Правила построения
таблиц истинности
для выражений.
Свойства логических
операций.

3.

Алгебра логики
Логические операции
Инверсия
Дизъюнкция
Конъюнкция

4.

Основные логические операции
Название логической
операции
Обозначение
Инверсия
«¯»
Конъюнкция
«&»
Дизъюнкция
«V»

5.

Логические операции
Конъюнкция − это логическая операция, которая объединяет два высказывания в
одно новое, которое будет являться истинным тогда и только тогда, когда оба
исходных высказывания истинны.
А=1
А−
А−
А=0
A
B
A&B
0
0
0
0
1
0
1
0
0
1
1
1

6.

Логические операции
Дизъюнкция − это логическая операция, которая объединяет два высказывания в
одно новое, которое будет являться ложным тогда и только тогда, когда ложны оба
исходных высказывания.
А=1
А−
А−
А=0
A
B
AVB
0
0
0
0
1
1
1
0
1
1
1
1

7.

Логические операции
Инверсия − это логическая операция, которая преобразует исходное высказывание
в новое, значение которого противоположно исходному.
А=0
инверсия
Ā=1
А=1
инверсия
Ā=0
A
Ā
0
1
1
0

8.

Логические выражения
Логические выражения могут состоять из более чем двух логических операций.
АVB&C
Таблица истинности
Порядок действий в
логическом выражении:
1.
Инверсия.
2.
Конъюнкция.
3.
Дизъюнкция.

9.

План построения таблицы истинности
1. Посчитать n – число переменных в выражении.
(А V B) & C
n=3

10.

План построения таблицы истинности
1. Посчитать n – число переменных в выражении.
(А V B) & C
2. Подсчитать общее число логических операций в
выражении.
Количество логических
операций: 2

11.

План построения таблицы истинности
1. Посчитать n – число переменных в выражении.
(А V B) & C
2. Подсчитать общее число логических операций в
выражении.
1.
Операции в скобках.
3. Установить последовательность логических
операций с учётом скобок и приоритетов.
2.
Инверсия.
3.
Конъюнкция.
4.
Дизъюнкция.

12.

План построения таблицы истинности
1. Посчитать n – число переменных в выражении.
(А V B) & C
2. Подсчитать общее число логических операций в
выражении.
Количество столбцов: 5.
3. Установить последовательность логических
операций с учётом скобок и приоритетов.
4. Определить число столбцов в таблице: число
переменных + число операций.

13.

План построения таблицы истинности
1. Посчитать n – число переменных в выражении.
2. Подсчитать общее число логических операций в
выражении.
3. Установить последовательность логических
операций с учётом скобок и приоритетов.
4. Определить число столбцов в таблице: число
переменных + число операций.
5. Заполнить шапку таблицы, включив в неё
переменные и операции в соответствии с
последовательностью.
А B C
AVB
(A V B) & C

14.

План построения таблицы истинности
1. Посчитать n – число переменных в выражении.
2. Подсчитать общее число логических операций в
выражении.
3. Установить последовательность логических
операций с учётом скобок и приоритетов.
4. Определить число столбцов в таблице: число
переменных + число операций.
5. Заполнить шапку таблицы, включив в неё
переменные и операции в соответствии с
последовательностью.
6. Определить число строк в таблице (не считая
шапку таблицы): m = 2n.
А B C
n=3
m = 23 = 8
AVB
(A V B) & C

15.

План построения таблицы истинности
1. Посчитать n – число переменных в выражении.
2. Подсчитать общее число логических операций в
выражении.
3. Установить последовательность логических
операций с учётом скобок и приоритетов.
4. Определить число столбцов в таблице: число
переменных + число операций.
5. Заполнить шапку таблицы, включив в неё
переменные и операции в соответствии с
последовательностью.
6. Определить число строк в таблице (не считая
шапку таблицы): m = 2n.
А B C
AVB
(A V B) & C

16.

План построения таблицы истинности
1. Посчитать n – число переменных в выражении.
2. Подсчитать общее число логических операций в
выражении.
3. Установить последовательность логических
операций с учётом скобок и приоритетов.
4. Определить число столбцов в таблице: число
переменных + число операций.
5. Заполнить шапку таблицы, включив в неё
переменные и операции в соответствии с
последовательностью.
6. Определить число строк в таблице (не считая
шапку таблицы): m = 2n.
7. Выписать наборы входных переменных с учётом
того, что они представляют собой ряд целых nразрядных двоичных чисел от 0 до 2n - 1.
А B C
AVB
(A V B) & C

17.

План построения таблицы истинности
1. Посчитать n – число переменных в выражении.
А B C
2. Подсчитать общее число логических операций в
выражении.
0 0 0
3. Установить последовательность логических
операций с учётом скобок и приоритетов.
0 0 1
4. Определить число столбцов в таблице: число
переменных + число операций.
0 1 1
5. Заполнить шапку таблицы, включив в неё
переменные и операции в соответствии с
последовательностью.
6. Определить число строк в таблице (не считая
шапку таблицы): m = 2n.
7. Выписать наборы входных переменных с учётом
того, что они представляют собой ряд целых nразрядных двоичных чисел от 0 до 2n - 1.
0 1 0
1 0 0
1 0 1
1 1 0
1 1 1
AVB
(A V B) & C

18.

План построения таблицы истинности
1. Посчитать n – число переменных в выражении.
А B C
2. Подсчитать общее число логических операций в
выражении.
0 0 0
3. Установить последовательность логических
операций с учётом скобок и приоритетов.
0 0 1
4. Определить число столбцов в таблице: число
переменных + число операций.
0 1 1
5. Заполнить шапку таблицы, включив в неё
переменные и операции в соответствии с
последовательностью.
6. Определить число строк в таблице (не считая
шапку таблицы): m = 2n.
7. Выписать наборы входных переменных с учётом
того, что они представляют собой ряд целых nразрядных двоичных чисел от 0 до 2n - 1.
AVB
(A V B) & C
0 1 0
1 0 0
1 0 1
1 1 0
1 1 1
8. Провести заполнение
таблицы по столбцам.

19.

План построения таблицы истинности
1. Посчитать n – число переменных в выражении.
А B C
AVB
(A V B) & C
2. Подсчитать общее число логических операций в
выражении.
0 0 0
0
0
3. Установить последовательность логических
операций с учётом скобок и приоритетов.
0 0 1
0
0
0 1 0
1
0
4. Определить число столбцов в таблице: число
переменных + число операций.
0 1 1
1
1
1 0 0
1
0
1 0 1
1
1
1 1 0
1
0
1 1 1
1
1
5. Заполнить шапку таблицы, включив в неё
переменные и операции в соответствии с
последовательностью.
6. Определить число строк в таблице (не считая
шапку таблицы): m = 2n.
7. Выписать наборы входных переменных с учётом
того, что они представляют собой ряд целых nразрядных двоичных чисел от 0 до 2n - 1.
8. Провести заполнение
таблицы по столбцам.

20.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
1. Посчитать n – число переменных
в выражении.
n = 2.

21.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
2. Подсчитать общее число
логических операций в выражении.
n = 2.
Количество логических операций: 3.

22.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
1
3. Установить последовательность
логических операций с учётом
скобок и приоритетов.
n = 2.
Количество логических операций: 3.
Порядок выполнения операций:
1. Логическая операция в скобках:
конъюнкция.
2. Конъюнкция.
3. Дизъюнкция.
2
3

23.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
4. Определить число столбцов в
таблице: число переменных +
число операций.
n = 2.
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.

24.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
5. Заполнить шапку таблицы,
включив в неё переменные и
операции в соответствии с
последовательностью.
n = 2.
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.

25.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
5. Заполнить шапку таблицы,
включив в неё переменные и
операции в соответствии с
последовательностью.
A
n = 2.
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.
B

26.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
5. Заполнить шапку таблицы,
включив в неё переменные и
операции в соответствии с
последовательностью.
A
n = 2.
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.
B
A&B
(A & B) & A
(A & B) & A V B

27.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
A
6. Определить число строк в таблице
(не считая шапку таблицы): m = 2n.
n = 2.
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.
m = 2n = 22 = 4.
B
A&B
(A & B) & A
(A & B) & A V B

28.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
A
6. Определить число строк в таблице
(не считая шапку таблицы): m = 2n.
n = 2.
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.
m = 2n = 22 = 4.
B
A&B
(A & B) & A
(A & B) & A V B

29.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
7. Выписать наборы входных
переменных с учётом того, что они
представляют собой ряд целых
n-разрядных двоичных чисел от 0
до 2n - 1.
A
B
n = 2.
Количество логических операций: 3.
010 = 002
Порядок выполнения операций: скобки, конъюнкция,
110 = 012
дизъюнкция.
210 = 102
Количество столбцов в таблице: 5.
310 = 112
m = 2n = 22 = 4.
2n – 1 = 22 – 1 = 4 – 1 = 3.
0, 1, 2, 3.
A&B
(A & B) & A
(A & B) & A V B

30.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
7. Выписать наборы входных
переменных с учётом того, что они
представляют собой ряд целых
n-разрядных двоичных чисел от 0
до 2n - 1.
n = 2.
A
B
0
0
0
1
1
0
1
1
Количество логических операций: 3.
010 = 002
Порядок выполнения операций: скобки, конъюнкция,
110 = 012
дизъюнкция.
210 = 102
Количество столбцов в таблице: 5.
310 = 112
m = 2n = 22 = 4.
2n – 1 = 22 – 1 = 4 – 1 = 3.
0, 1, 2, 3.
A&B
(A & B) & A
(A & B) & A V B

31.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
8. Провести заполнение таблицы
по столбцам.
n = 2.
A
B
0
0
0
1
1
0
1
1
A&B
(A & B) & A
(A & B) & A V B
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.
m = 2n = 22 = 4.
2n – 1 = 22 – 1 = 4 – 1 = 3.
0, 1, 2, 3.
Новое высказывание будет истинно тогда и
только тогда, когда исходные высказывания
истинны.

32.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
8. Провести заполнение таблицы
по столбцам.
n = 2.
A
B
0
0
0
1
1
0
1
1
A&B
(A & B) & A
(A & B) & A V B
1
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.
m = 2n = 22 = 4.
2n – 1 = 22 – 1 = 4 – 1 = 3.
0, 1, 2, 3.
Новое высказывание будет истинно тогда и
только тогда, когда исходные высказывания
истинны.

33.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
8. Провести заполнение таблицы
по столбцам.
n = 2.
A
B
A&B
0
0
0
0
1
0
1
0
0
1
1
1
(A & B) & A
(A & B) & A V B
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.
m = 2n = 22 = 4.
2n – 1 = 22 – 1 = 4 – 1 = 3.
0, 1, 2, 3.
Новое высказывание будет истинно тогда и
только тогда, когда исходные высказывания
истинны.

34.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
8. Провести заполнение таблицы
по столбцам.
n = 2.
A
B
A&B
0
0
0
0
1
0
1
0
0
1
1
1
(A & B) & A
(A & B) & A V B
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.
m = 2n = 22 = 4.
2n – 1 = 22 – 1 = 4 – 1 = 3.
0, 1, 2, 3.
Новое высказывание будет истинно тогда и
только тогда, когда исходные высказывания
истинны.

35.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
8. Провести заполнение таблицы
по столбцам.
n = 2.
A
B
A&B
0
0
0
0
1
0
1
0
0
1
1
1
(A & B) & A
(A & B) & A V B
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.
m = 2n = 22 = 4.
2n – 1 = 22 – 1 = 4 – 1 = 3.
0, 1, 2, 3.
Новое высказывание будет истинно тогда и
только тогда, когда исходные высказывания
истинны.

36.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
8. Провести заполнение таблицы
по столбцам.
n = 2.
A
B
A&B
0
0
0
0
1
0
1
0
0
1
1
1
(A & B) & A
(A & B) & A V B
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.
m = 2n = 22 = 4.
2n – 1 = 22 – 1 = 4 – 1 = 3.
0, 1, 2, 3.
Новое высказывание будет истинно тогда и
только тогда, когда исходные высказывания
истинны.

37.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
8. Провести заполнение таблицы
по столбцам.
n = 2.
A
B
A&B
0
0
0
0
1
0
1
0
0
1
1
1
(A & B) & A
(A & B) & A V B
1
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.
m = 2n = 22 = 4.
2n – 1 = 22 – 1 = 4 – 1 = 3.
0, 1, 2, 3.
Новое высказывание будет истинно тогда и
только тогда, когда исходные высказывания
истинны.

38.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
8. Провести заполнение таблицы
по столбцам.
n = 2.
A
B
A&B
(A & B) & A
0
0
0
0
0
1
0
0
1
0
0
0
1
1
1
1
(A & B) & A V B
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.
m = 2n = 22 = 4.
2n – 1 = 22 – 1 = 4 – 1 = 3.
0, 1, 2, 3.
Новое высказывание будет истинно тогда и
только тогда, когда исходные высказывания
истинны.

39.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
8. Провести заполнение таблицы
по столбцам.
n = 2.
A
B
A&B
(A & B) & A
0
0
0
0
0
1
0
0
1
0
0
0
1
1
1
1
(A & B) & A V B
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.
m = 2n = 22 = 4.
2n – 1 = 22 – 1 = 4 – 1 = 3.
0, 1, 2, 3.
Новое высказывание будет ложно тогда и
только тогда, когда ложны исходные
высказывания.

40.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
8. Провести заполнение таблицы
по столбцам.
n = 2.
A
B
A&B
(A & B) & A
(A & B) & A V B
0
0
0
0
0
0
1
0
0
1
0
0
0
1
1
1
1
0
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.
m = 2n = 22 = 4.
2n – 1 = 22 – 1 = 4 – 1 = 3.
0, 1, 2, 3.
Новое высказывание будет ложно тогда и
только тогда, когда ложны исходные
высказывания.

41.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
8. Провести заполнение таблицы
по столбцам.
n = 2.
A
B
A&B
(A & B) & A
(A & B) & A V B
0
0
0
0
0
0
1
0
0
1
1
0
0
0
0
1
1
1
1
1
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.
m = 2n = 22 = 4.
2n – 1 = 22 – 1 = 4 – 1 = 3.
0, 1, 2, 3.
Новое высказывание будет ложно тогда и
только тогда, когда ложны исходные
высказывания.

42.

Построения таблицы истинности
Построить таблицу истинности для логического выражения (A & B) & A V B.
8. Провести заполнение таблицы
по столбцам.
n = 2.
A
B
A&B
(A & B) & A
(A & B) & A V B
0
0
0
0
0
0
1
0
0
1
1
0
0
0
0
1
1
1
1
1
Количество логических операций: 3.
Порядок выполнения операций: скобки, конъюнкция,
дизъюнкция.
Количество столбцов в таблице: 5.
m = 2n = 22 = 4.
2n – 1 = 22 – 1 = 4 – 1 = 3.
0, 1, 2, 3.
Логическое выражение (A & B) & A V B
равносильно логической переменной В.

43.

Основные свойства логических операций
Законы алгебры логики
1. Переместительный (коммутативный) закон.
При перестановке местами переменных в конъюнкции и дизъюнкции
значение выражения не изменяется.
Конъюнкция – логическое умножение.
Дизъюнкция – логическое сложение.
A&B=B&A
AVB=BVA
A•B=B •A
A+B=B +A

44.

Основные свойства логических операций
Законы алгебры логики
2. Сочетательный (ассоциативный) закон.
При одинаковых знаках операций скобки можно ставить произвольно или
вообще опускать.
Конъюнкция – логическое умножение.
Дизъюнкция – логическое сложение.
(A & B) & C = A & (B & C)
(A V B) V C = A V (B V C)
(A • B) • C = A • (B • C)
(A + B) + C = A + (B + C)
(A • B) • C = A • B • C
(A + B) + C = A + B + C

45.

Основные свойства логических операций
Законы алгебры логики
3. Распределительный (дистрибутивный) закон.
Конъюнкция – логическое умножение.
Дизъюнкция – логическое сложение.
A & (B V C) = (A & B) V (A & C)
A V (B & C) = (A V B) & (A V C)
A • (B + C) = (A • B) + (A • C)
A + (B • C) = (A + B) • (A + C)

46.

Основные свойства логических операций
Законы алгебры логики
4. Закон двойного отрицания.
Двойное отрицание исключает отрицание.
ന=A
A
– (– A) = A

47.

Основные свойства логических операций
Законы алгебры логики
5. Закон исключённого третьего.
Из двух противоречивых высказываний об одном и том же предмете одно
всегда истинно, а второе – ложно, третьего не дано.
Конъюнкция – логическое умножение.
Дизъюнкция – логическое сложение.
A&A=0
AVA=1
A = 0;
A = 1;
0 • 1 = 0.
A = 0;
A = 1;
0 + 1 = 1.
A = 1;
A = 0;
1 • 0 = 0.
A = 1;
A = 0;
1 + 0 = 1.

48.

Основные свойства логических операций
Законы алгебры логики
6. Закон повторения.
При конъюнкции или дизъюнкции одного и того же высказывания получится
это же высказывание.
Конъюнкция – логическое умножение.
Дизъюнкция – логическое сложение.
A&A=А
AVA=А
A•A=А
A+A=А
A = 0;
0 • 0 = 0.
A = 0;
0 + 0 = 0.
A = 1;
1 • 1 = 1.
A = 1;
1 + 1 = 1.

49.

Основные свойства логических операций
Законы алгебры логики
6. Закон повторения.
При конъюнкции или дизъюнкции одного и того же высказывания получится
это же высказывание.
Конъюнкция – логическое умножение.
Дизъюнкция – логическое сложение.
A&A=А
A•A=А
A = 0;
0 • 0 = 0.
A = 1;
1 • 1 = 1.
AVA=А
=0
=1
+ =
+ + =
∙
=
2
A+A=А
A = 0;
0 + 0 = 0.
A = 1;
1 + 1 = 1.

50.

Основные свойства логических операций
Законы алгебры логики
7. Законы операций с 0 и 1.
Конъюнкция – логическое умножение.
Дизъюнкция – логическое сложение.
A & 0 = 0;
A • 0 = 0.
A V 0 = А;
A + 0 = A.
A & 1 = A;
A • 1 = А.
A V 1 = 1;
A + 1 = 1.

51.

Основные свойства логических операций
Законы алгебры логики
8. Законы общей инверсии.
Для того, чтобы найти инверсию конъюнкции, нужно найти дизъюнкцию
инверсий каждого логического выражения.
Для того, чтобы найти инверсию дизъюнкции, нужно найти конъюнкцию
инверсий каждого логического выражения.
Конъюнкция – логическое умножение.
A&B=АVB
Дизъюнкция – логическое сложение.
AVB=А&B

52.

Доказательство закона общей инверсии
Доказать закон общей инверсии для логического умножения
A&B=АVB
n = 2.
Количество логических операций: 5.
A & B = А V B.

53.

Доказательство закона общей инверсии
Доказать закон общей инверсии для логического умножения
2
A&B=АVB
1
n = 2.
Количество логических операций: 5.
A & B = А V B.

54.

Доказательство закона общей инверсии
Доказать закон общей инверсии для логического умножения
2
3
4
A&B=АVB
1
n = 2.
Количество логических операций: 5.
5
A & B = А V B.

55.

Доказательство закона общей инверсии
Доказать закон общей инверсии для логического умножения
A
B
A&B
A&B
2
A
3
4
A&B=АVB
1
n = 2.
Количество логических операций: 5.
m = 2n = 22 = 4.
5
A & B = А V B.
B
AVB

56.

Доказательство закона общей инверсии
Доказать закон общей инверсии для логического умножения
A
B
A&B
n = 2.
Количество логических операций: 5.
m = 2n = 22 = 4.
2n – 1 = 22 – 1 = 4 – 1 = 3.
0, 1, 2, 3.
A&B
A
A & B = А V B.
B
010 = 002
110 = 012
210 = 102
310 = 112
AVB

57.

Доказательство закона общей инверсии
Доказать закон общей инверсии для логического умножения
A
B
0
0
0
1
1
0
1
1
A&B
n = 2.
Количество логических операций: 5.
m = 2n = 22 = 4.
2n – 1 = 22 – 1 = 4 – 1 = 3.
0, 1, 2, 3.
A&B
A
A & B = А V B.
B
010 = 002
110 = 012
210 = 102
310 = 112
AVB

58.

Доказательство закона общей инверсии
Доказать закон общей инверсии для логического умножения
A
B
0
0
0
1
1
0
1
1
A&B=АVB
1
A&B
A&B
A
A & B = А V B.
B
AVB
Новое высказывание будет истинно тогда и только тогда, когда
исходные высказывания истинны.

59.

Доказательство закона общей инверсии
Доказать закон общей инверсии для логического умножения
A
B
0
0
0
1
1
0
1
1
A&B=АVB
1
A&B
A&B
A
A & B = А V B.
B
AVB
1
Новое высказывание будет истинно тогда и только тогда, когда
исходные высказывания истинны.

60.

Доказательство закона общей инверсии
Доказать закон общей инверсии для логического умножения
A
B
A&B
0
0
0
0
1
0
1
0
0
1
1
1
A&B=АVB
1
A&B
A
A & B = А V B.
B
AVB
Новое высказывание будет истинно тогда и только тогда, когда
исходные высказывания истинны.

61.

Доказательство закона общей инверсии
Доказать закон общей инверсии для логического умножения
A
B
A&B
0
0
0
0
1
0
1
0
0
1
1
1
A&B
A & B = А V B.
A
2
A&B=АVB
А=1
В=0
инверсия
инверсия
А=0
В=1
B
AVB

62.

Доказательство закона общей инверсии
Доказать закон общей инверсии для логического умножения
A
B
A&B
A&B
0
0
0
1
0
1
0
1
1
0
0
1
1
1
1
0
A&B=АVB
A
A & B = А V B.
B
AVB

63.

Доказательство закона общей инверсии
Доказать закон общей инверсии для логического умножения
A
B
A&B
A&B
0
0
0
1
0
1
0
1
1
0
0
1
1
1
1
0
А=1
В=0
инверсия
A & B = А V B.
A
3
A&B=АVB
инверсия
А=0
В=1
B
AVB

64.

Доказательство закона общей инверсии
Доказать закон общей инверсии для логического умножения
A & B = А V B.
A
B
A&B
A&B
A
0
0
0
1
1
0
1
0
1
1
1
0
0
1
0
1
1
1
0
0
А=1
В=0
инверсия
А=0
В=1
4
A&B=АVB
инверсия
B
AVB

65.

Доказательство закона общей инверсии
Доказать закон общей инверсии для логического умножения
A & B = А V B.
A
B
A&B
A&B
A
B
0
0
0
1
1
1
0
1
0
1
1
0
1
0
0
1
0
1
1
1
1
0
0
0
A&B=АVB
5
AVB
Новое высказывание будет ложно тогда и только тогда, когда
ложны исходные высказывания.

66.

Доказательство закона общей инверсии
Доказать закон общей инверсии для логического умножения
A & B = А V B.
A
B
A&B
A&B
A
B
0
0
0
1
1
1
0
1
0
1
1
0
1
0
0
1
0
1
1
1
1
0
0
0
A&B=АVB
5
AVB
0
Новое высказывание будет ложно тогда и только тогда, когда
ложны исходные высказывания.

67.

Доказательство закона общей инверсии
Доказать закон общей инверсии для логического умножения
A & B = А V B.
A
B
A&B
A&B
A
B
AVB
0
0
0
1
1
1
1
0
1
0
1
1
0
1
1
0
0
1
0
1
1
1
1
1
0
0
0
0
A&B=АVB

68.

Пример
Найти значение логического выражения
(D > 1) V (D < 2).D = 1.
Решение:
D = 1.
(D > 1) V (D < 2) = (1 > 1) V (1 < 2) = 0 V 1 = 0 V 0 = 0.
(1 > 1) – ложно.
(1 > 1) = 0.
(1 < 2) – истинно.
6. Закон повторения: при конъюнкции или дизъюнкции
одного и того же высказывания, получится это же
высказывание.
Дизъюнкция: A V A = А.
(1 < 2) = 1.
Ответ: (D > 1) V (D < 2) = 0, при D = 1.

69.

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

70.

Построение таблиц истинности для логических
выражений. Свойства логических операций
1. Переместительный (коммутативный) закон: A & B = B & A; A V B = B V A.
2. Сочетательный (ассоциативный) закон: (A & B) & C = A & (B & C);
(A V B) V C = A V (B V C).
3. Распределительный (дистрибутивный) закон:
V C) = (A & B) V (A & C); A V (B & C) = (A V B) & (A V C).
ന A.
4. Закон двойного отрицания: A =
5. Закон исключённого третьего: A & A = 0; A V A = 1.
6. Закон повторения: A & A = А; A V A = А.
7. Законы операций с 0 и 1: A & 0 = 0, A & 1 = A; A V 0 = А, A V 1 = 1.
8. Законы общей инверсии: A & B = А V B; A V B = А & B.
A & (B