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

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

👇

Увидеть ответ

Ответ:

slavaglybochka

15.08.2022

c, a, b

Объяснение:

Не А или (B И Не С), значит функция всегда должна быть 1 при А = 0, а это вторая колонка. Дальше, функция всегда 1 при В = 1 и С = 0, значит С соответствует первой колонке, а В - третьей.

4,4(48 оценок)

Открыть все ответы

Ответ:

ddaaww

15.08.2022

ответ: $\overline A \lor \overline B$ .

Пошаговое объяснение:

Во-первых, как можно заметить, от C значение функции не зависит.

Особенно это хорошо видно на последних двух строчках. Если убрать переменную C, то получиться таблица из 4 строк:

A B F

0 0 1

0 1 1

1 0 1

1 1 0

Это таблица истинности для отрицания И: $\overline{A \land B} = \overline A \lor \overline B$ - ответ.

На этом можно было бы остановиться (проверить по таблице истинности с учётом бесполезного С), но сделаем ещё кое-что - выведем это шаг за шагом, докажем, что С - бесполезная и никому не нужная переменная.

Запишем то же выражение в совершенной конъюнктивной нормальной форме. Выберем стоки, которые обращают выражение в Ложь.

A B C F

1 1 0 0

1 1 1 0

Две строки - две скобки. Единица в таблице означает отрицание переменной в скобке. Получаем $F = (\overline A \lor \overline B \lor \overline C) \land (\overline A \lor \overline B \lor C)$ .

Тут уже видно, что переменная С на результат не влияет. Упростим и приведём это к выражению выше.

$(\overline A \lor \overline B \lor \overline C) \land (\overline A \lor \overline B \lor C) = (\overline A \lor \overline B \lor \overline C) \land \overline A \lor (\overline A \lor \overline B \lor \overline C) \land \overline B \lor (\overline A \lor \overline B \lor \overline C) \land C =$

$= \overline A \land \overline A \lor \overline B \land \overline A \lor \overline C \land \overline A \lor \overline A \land \overline B \lor \overline B \land \overline B \lor \overline C \land \overline B \lor \overline A \land C \lor \overline B \land C \lor \overline C \land C =$

$= \overline A \lor \overline B \land \overline A \lor \overline C \land \overline A \lor \overline A \land \overline B \lor \overline B \lor \overline C \land \overline B \lor \overline A \land C \lor \overline B \land C \lor 0 =$

$= \overline A \lor \overline B \lor [(\overline B \land \overline A) \lor (\overline A \land \overline B)] \lor [(\overline C \land \overline A) \lor(\overline A \land C)] \lor [(\overline C \land \overline B) \lor (\overline B \land C)] =$

$= \overline A \lor \overline B \lor (\overline A \land \overline B) \lor \overline A \land (\overline C \lor C) \lor \overline B \land (\overline C \lor C) =$

$= \overline A \lor \overline B \lor (\overline A \land \overline B) \lor \overline A \lor \overline B =$

$= \overline A \lor \overline B \lor (\overline A \land \overline B) =$

$= [(\overline A \lor \overline A) \land (\overline A \lor \overline B)] \lor \overline B =$

$= [\overline A \land (\overline A \lor \overline B)] \lor \overline B =$

$= (\overline A \lor \overline B ) \land (\overline A \lor \overline B \lor \overline B) =$

$= (\overline A \lor \overline B ) \land (\overline A \lor \overline B) =$

$= \overline A \lor \overline B$ - ответ.

4,6(62 оценок)

Ответ:

Wasder1