Логическая функция F задаётся выражением ((¬ x ` y) ≡ z) ` w Неповторяющиеся строки таблицы истинности функции f