Элементы алгебры логики. Математические основы информатики. Таблицы истинности

Содержание

Слайд 2

Задание

Задание

Слайд 3

Ключевые слова таблица истинности

Ключевые слова

таблица истинности

Слайд 4

Таблицы истинности Решение логических выражений принято оформлять в виде таблиц, в

Таблицы истинности

Решение логических выражений принято оформлять в виде таблиц, в которых

по действиям показано, какие значения принимает логическое выражение при всех возможных наборах его переменных
Слайд 5

Определение Таблица истинности – это таблица, с помощью которой устанавливается истинностное

Определение

Таблица истинности – это таблица, с помощью которой устанавливается истинностное значение

сложного высказывания при всех значениях входящих в него простых высказываний.
Слайд 6

Построение таблиц истинности для логических выражений Количество строк = 2n+1, где

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

Количество строк = 2n+1, где n

– количество переменных.
Количество столбцов = количество переменных + количество логических операций.
Установить последовательность выполнения логических операций.
Построить таблицу, указывая названия столбцов и возможные наборы значений исходных логических переменных.
Заполнить таблицу истинности по столбцам.
Слайд 7

Пример 1 Построим таблицу истинности для функции F = (А ∨

Пример 1

Построим таблицу истинности для функции F = (А ∨ В)

∧ (¬A ∨ ¬B)
Переменных: две (А и В), т.е. N = 2 ⇒ количество строк: 2n=22=4. С заголовком: 5
Количество столбцов: 2 переменные + 5 операций (∨,∧,¬,∨ и ¬). Итого 7
Порядок операций:
1 5 2 4 3
F = (А ∨ В) ∧ (¬A ∨ ¬B)
Слайд 8

Пример 1. Таблица 0 1 1 1 1 1 0 0

Пример 1. Таблица

0
1
1
1

1
1
0
0

F = (А ∨ В) ∧ (¬A ∨ ¬B)

1
0
1
0

1
1
1
0

0
1
1
0

1 5 2 4 3

 

 

Слайд 9

Пример 2 Построим таблицу истинности для функции F = X ∨

Пример 2

Построим таблицу истинности для функции F = X ∨ Y

∧ ¬Z
Переменных:
три (X, Y и Z), т.е. n = 3 ⇒ количество строк: 2n=23=8. С заголовком: 9
Количество столбцов:
3 переменные + 3 операции (∨,∧,¬). Итого 6
Порядок операций:
3 2 1
F = X ∨ Y ∧ ¬Z
Слайд 10

Пример. Таблица 0 0 0 0 1 1 1 1 F

Пример. Таблица

0
0
0
0
1
1
1
1

F = X ∨ Y ∧ ¬Z

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

1
0
1
0
1
0
1
0

0
0
1
0
0
0
1
0

0
0
1
0
1
1
1
1

3 2 1

 

Слайд 11

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

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

Самое главное

Слайд 12

Домашнее задание § 1.3.2, 1.3.3; № 83 в рабочей тетради

Домашнее задание

§ 1.3.2, 1.3.3;
№ 83 в рабочей тетради

Слайд 13

Домашнее задание

Домашнее задание

Слайд 14

Домашнее задание

Домашнее задание

Слайд 15

Домашнее задание

Домашнее задание

Слайд 16

Домашнее задание

Домашнее задание

Слайд 17

Домашнее задание

Домашнее задание