Ali Aliev

Для построения в базисе И-НЕ нужно выделять термы с единичками:

Используйте следующую аксиоматику:


Теперь выделяем отдельные операции

И строим схему

Выделять операции можно и при первичном преобразовании формулы, например, сразу заменяя !x на q = !(x + x)

Всё просто. Поскольку у нас есть только схема ИЛИ-НЕ, а в формуле стоит просто ИЛИ, мы заменяем ИЛИ на НЕ(ИЛИ-НЕ).