Разделы презентаций
- Разное
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Геометрия
- Детские презентации
- Информатика
- История
- Литература
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Раздел Логика. Логические функции
Содержание
- 1. Раздел Логика. Логические функции
- 2. Логическая функция F задаётся выражением (a
- 3. Решение через СДНФ и сопоставление таблиц истинности(a
- 4. Ответ: a b c
- 5. Решение через СДНФ и сопоставление таблиц истинности
- 6. x ¬y (¬z w) = x*y *
- 7. x*y * z *w +
- 8. Логическая функция F задаётся выражением (a
- 9. Преобразуем выражение в совершенную конъюнктивную нормальную форму
- 10. Ответ: c b a¬a + b +
- 11. Скачать презентанцию
Логическая функция F задаётся выражением (a ¬c) (¬b ¬c). Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных a, b, c.В ответе напишите буквы a, b,
Слайды и текст этой презентации
Слайд 1Раздел «Логика. Логические функции»
Составление таблицы истинности логической функции через СДНФ
и СКНФ
Слайд 2Логическая функция F задаётся выражением
(a ¬c) (¬b
¬c). Определите, какому столбцу таблицы истинности функции F соответствует
каждая из переменных a, b, c.В ответе напишите буквы a, b, c в том порядке, в котором идут соответствующие им столбцы.
Слайд 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 * ¬c* ¬b
a * ¬c* b
¬b * ¬c *¬a
Слайд 6x ¬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
Слайд 8Логическая функция F задаётся выражением
(a b) ((a
b) ¬c). Определите, какому столбцу таблицы истинности функции
F соответствует каждая из переменных a, b, c.В ответе напишите буквы a, b, c в том порядке, в котором идут соответствующие им столбцы.
Слайд 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)
Решение через СКНФ и сопоставление таблиц истинности
