Главная страница

Анализ таблиц истинности логических выражений


Скачать 2.49 Mb.
НазваниеАнализ таблиц истинности логических выражений
Дата10.09.2022
Размер2.49 Mb.
Формат файлаdoc
Имя файлаege2.doc
ТипДокументы
#670447
страница11 из 34
1   ...   7   8   9   10   11   12   13   14   ...   34

Ещё пример задания:


Р-10. Александра заполняла таблицу истинности для выражения F. Она успела заполнить лишь небольшой фрагмент таблицы:

x1

x2

x3

x4

x5

x6

x7

x8

F




0
















1

1

1







0













0










1










1

0

Каким выражением может быть F?

1) x1 ¬x2 x3 ¬x4 x5 x6 ¬x7 ¬x8

2) x1 x2 x3 ¬x4 ¬x5 ¬x6 ¬x7 ¬x8

3) x1 ¬x2 ¬x3 x4 x5 ¬x6 ¬x7 x8

4) x1 ¬x2 x3 ¬x4 ¬x5 ¬x6 ¬x7 ¬x8

  1. перепишем выражения в более простой форме, заменив «И» () на умножение и «ИЛИ» () на сложение:

1)

2)

3)

4)

  1. в последнем столбце в таблице видим одну единицу и два нуля, поэтому это не может быть дизъюнкция, которая даёт ноль только при одном наборе значений переменных; таким образом, варианты 2 и 4 заведомо неверные, нужно сделать выбор между ответами 1 и 3

  2. рассматриваем «особую» строчку таблице, в которой функция равна 1;

  3. поскольку мы говорим о конъюнкции, переменная должна входить в неё с инверсией (это выполняется для обоих оставшихся вариантов), а переменная – без инверсии; последнее из этих двух условий верно только для варианта 3, это и есть правильный ответ.

  4. Ответ: 3.
1   ...   7   8   9   10   11   12   13   14   ...   34


написать администратору сайта