But then, formula_2 can be defined as:formula_9formula_1 can also be defined in terms of formula_2 in a similar manner.
Но formula_2 также может быть выражено (в соответствии с законом де Моргана) как:: formula_10formula_1 также может быть определена через formula_2 подобным образом.