Логическая функция задается выражением z y. Логическая функция f задаётся выражением x y z.