Features of the transistors logic gates formalization

CMOS-circuits (complementary structure metal-oxide-semiconductor) are usually sequential-parallel and are described by the disjunctive normal form of the logical functions they realize. To simplify the scheme, a bracket form is used. An appropriate string of symbols can describe these structures. However, in a number of cases, schemes that can not be described by chains are used. In addition, sometimes the circuit introduces so-called bridge transistors. The article analyzes the features of the logical description of such schemes and attempts to formalize such schemes are made.