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