Mathematical logic: construction of logic circuits from logical elements in maple

The article discusses the possibilities of using the Logic library of the Maple computer algebra system in the aspect of computer modeling of logic circuits in various bases. Basic logic gates are modeled in Maple. On a specific example, an algorithm for constructing a logical circuit in various bases is presented in detail.