Презентация на тему: Раздел « Логика. Логические функции»

Раздел « Логика. Логические функции»
Раздел « Логика. Логические функции»
Раздел « Логика. Логические функции»
Раздел « Логика. Логические функции»
Раздел « Логика. Логические функции»
Раздел « Логика. Логические функции»
Раздел « Логика. Логические функции»
Раздел « Логика. Логические функции»
Раздел « Логика. Логические функции»
Раздел « Логика. Логические функции»
1/10
Средняя оценка: 4.2/5 (всего оценок: 97)
Код скопирован в буфер обмена
Скачать (203 Кб)
1

Первый слайд презентации: Раздел « Логика. Логические функции»

Составление таблицы истинности логической функции через СДНФ и СКНФ Подготовка к ЕГЭ-2017

Изображение слайда
1/1
2

Слайд 2

Логическая функция F задаётся выражением ( a  ¬ c )  (¬ b  ¬ c ). Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных a, b, c. В ответе напишите буквы a, b, c в том порядке, в котором идут соответствующие им столбцы.

Изображение слайда
Изображение для работы со слайдом
1/2
3

Слайд 3

Решение через СДНФ и сопоставление таблиц истинности ( a  ¬ c )  (¬ b  ¬ c ) = a * ¬ c + ¬ b * ¬ c Выражение записано в дизъюнктивной нормальной форме (ДНФ ). Преобразуем его в совершенную дизъюнктивную нормальную форму ( СДНФ): a * ¬ c * (¬ b + b ) + ¬ b * ¬ c *(¬ a + a ) = a * ¬ c * ¬ b + a * ¬ c * b + ¬ b * ¬ c *¬ a + ¬ b * ¬ c * a = a * ¬ c * ¬ b + a * ¬ c * b + ¬ b * ¬ c *¬ a a b c f 1 0 0 1 1 1 0 1 0 0 0 1 a * ¬ c * ¬ b a * ¬ c * b ¬ b * ¬ c *¬ a

Изображение слайда
1/1
4

Слайд 4

Ответ: a b c

Изображение слайда
Изображение для работы со слайдом
Изображение для работы со слайдом
1/3
5

Слайд 5

Решение через СДНФ и сопоставление таблиц истинности

Изображение слайда
Изображение для работы со слайдом
1/2
6

Слайд 6

x  ¬y  (¬z  w) = x* y * ( z+w ) = x* y * z + x* y * w = x* y * z *( w+w ) + x* y * w *(z +z) = x* y * z *w + x* y * z * w + x* y * w *z + x* y * w * z СДНФ: x* y * z *w + x* y * z * w + x* y * w * z

Изображение слайда
1/1
7

Слайд 7

x* y * z *w + x* y * z * w + x* y * w * z x y z w f 1 0 0 0 1 1 0 0 1 1 1 0 1 1 1 Ответ: z y x w

Изображение слайда
Изображение для работы со слайдом
1/2
8

Слайд 8

Логическая функция F задаётся выражением ( a  b )  ((a  b)  ¬c ). Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных a, b, c. В ответе напишите буквы a, b, c в том порядке, в котором идут соответствующие им столбцы.

Изображение слайда
Изображение для работы со слайдом
1/2
9

Слайд 9

Преобразуем выражение в совершенную конъюнктивную нормальную форму ( СКНФ): (a  b )  ((a  b)  ¬c ) = ( ¬ a + b )* ( ¬(a * b) + ¬c ) = ( ¬ a + b )* ( ¬a + ¬ b + ¬c ) = ( ¬ a + b + c* ¬c )* ( ¬a + ¬ b + ¬c ) = ( ¬ a + b + c)* ( ¬ a + b + ¬c )* ( ¬a + ¬ b + ¬c ) Решение через СКНФ и сопоставление таблиц истинности a b c f 1 0 0 0 1 0 1 0 1 1 1 0

Изображение слайда
1/1
10

Последний слайд презентации: Раздел « Логика. Логические функции»

Ответ: c b a ¬ a + b + c ¬ a + b + ¬c ¬a + ¬ b + ¬c

Изображение слайда
Изображение для работы со слайдом
Изображение для работы со слайдом
1/3