However, they do not form a minimal functionally complete set, as the conditional and biconditional may be defined as::formula_6So formula_7 is also functionally complete.
Но оно не является минимальной функционально полной системой, поскольку:: formula_6: formula_7Таким образом formula_8 также является функционально полной системой.