It is also the case that formula_12 can be defined in terms of formula_13 as follows::formula_14No further simplifications are possible.
Также formula_13 может быть выражена через formula_14 следующим образом:: formula_15Итак formula_16 и одна из formula_17 является минимальной функционально полной системой.