The book describes methods of presenting information in digital automata, methods of performing arithmetic and logical operations in them, as well as methods of logical description and methods of logical design of digital devices based on them. Attention is paid to the development of methods for monitoring the correct functioning of digital automata when performing various operations, methods for minimizing logical expressions. The theoretical material is illustrated by examples and is accompanied by questions for self-control.