Question

Логика
С размышлениями и доказательствами!

Answer 1

1. Вычисляем значения функций F1, F2, F3, F4 для заданных X, Y, Z. Если для какой-либо тройки аргументов функция принимает значение, отличное от значения F, то дальнейшие вычисления можно не выполнять.
Таблица с вычислениями - в прилагаемом файле.

2. Для решения данного задания необходимо использовать правила выполнения логических функций Импликация и Конъюнкция (логическое умножение).
Ход решения задания показан в том же файле.