Функция над GF(2)

[ogcjm]

Требуется проверить двойственность функции g к f.

f = x1 -> x2
g = ~x1 ^ x2

Каким способом модно проверить, кроме построения таблицы эквивалентности?

[Toucan]

Тема перемещена в Карантин.

1. Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

2. Приведите свои попытки решения задачи.

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено.