Задача 23. По заданной логической формуле определить, верно ли, что на наборах противоположных значений аргументов она принимает противоположные значения, т. е.
" х1,..., хn f { х1, ..., хn)=not f (NOT х1, NOT х2, .... NOT хn)
(этим свойством обладает, например, логическая формула Х AND Y OR NOT Y AND X ).
|