Дана логическая функция от трёх переменных:
𝐹(𝐴, 𝐵, 𝐶) = (𝐴 → (𝐵 → 𝐶)) 𝑋𝑂𝑅 𝐺(𝐴, 𝐵, 𝐶)
В данном выражении G(A, B, C) – логическая функция от трёх переменных, → - операция импликации, XOR – операция «исключающее или».
Ниже приведена таблица истинности функции F:
| A |
B |
C |
F |
| 0 |
0 |
0 |
1 |
| 0 |
0 |
1 |
1 |
| 0 |
1 |
0 |
1 |
| 0 |
1 |
1 |
0 |
| 1 |
0 |
0 |
0 |
| 1 |
0 |
1 |
0 |
| 1 |
1 |
0 |
1 |
| 1 |
1 |
1 |
0 |
Используя данную таблицу истинности, восстановите и запишите в ответ используя минимальное число операций функцию G(A, B, C).
Пример записи ответа: (A or not B) and C
Примечание: переменные вводятся большими латинскими буквами; логические операции обозначаются, соответственно, not, and и or. Скобки используются только для изменения порядка выполнения операций. Если порядок выполнения операций очевиден из их приоритетов, дополнительное использование скобок считается ошибкой. Пробелы ставятся между логическими операциями и переменными.