Определение логического выражения по таблице истинности Презентация по информатике ученицы 8 «а» класса Матвеевой Анастасии.

Нахождение логической формулы Условимся называть задачу построения таблицы истинности по формуле сложного высказывания –прямой задачей. Тогда обратная задача- построение логической формулы по таблице истинности. Полученную формулу будем записывать в виде логической функции. Условимся называть задачу построения таблицы истинности по формуле сложного высказывания –прямой задачей. Тогда обратная задача- построение логической формулы по таблице истинности. Полученную формулу будем записывать в виде логической функции. Рассмотрим несколько примеров. Рассмотрим несколько примеров.

Пример 23.4 Приведена таблица истинности для аргументов,А,В, по которой надо составить надо составить логическое выражение F(A,B). Приведена таблица истинности для аргументов,А,В, по которой надо составить надо составить логическое выражение F(A,B). A A A A B F(A,B). F(A,B)

Нахождение искомой формулы таков: 1)Выделить в таблице истинности строки, в которых в которых выражение истинно (1) 2)Соединить операцией И (умножением) содержимое столбцов аргументов для выбранных строк. При этом если в таблице «0», пишем входной сигнал с отрицанием, а если в таблице «1», то без отрицания.

АВF(A,B) Отмеча ем Записы ваем. 001 A* B A*B 110

Пример 23.5 Приведена таблица истинности для аргументов A, B,C, по которой надо составить логическое выражение F(A,B,C). Дополняем таблицу столбцами, « Отмечаем» и «Записываем». Выполняем действие в соответствии с алгоритмом, описанным в примере 23.1

ABCF(A,B) Отмеч аем Запис ываем 0001A*B*C A*B*C

Соединим полученные формулы операцией ИЛИ и получим формулу: Соединим полученные формулы операцией ИЛИ и получим формулу: F(A,B,C)=A*B*C+A*B*C F(A,B,C)=A*B*C+A*B*C

Пример 23.6 Приведена таблица для аргументов А, В, по которой надо составить логическое выражение F(A,B). Дополняем таблицу столбцами, названными «Отмечаем» и «Записываем» и выполняем действие в соответствии с алгоритмом, описным в примере.

ABF(A,B).ОтмечаемЗаписываем A*B 101A*B 111A*B

Пример 23.7 Приведена таблица истинности для аргументов A,B,C, по которой надо составить логическое выражение F(A,B,C). Приведена таблица истинности для аргументов A,B,C, по которой надо составить логическое выражение F(A,B,C).

ABCF(A,B,C)

Пример 23.8 Приведена таблица истинности для аргументов A, B по которой надо составить логическое выражение F(A,B)/ Приведена таблица истинности для аргументов A, B по которой надо составить логическое выражение F(A,B)/ ABF(A,B)