1. The basic principles and applications of truth tables, interconnections of on/off circuit elements, and other factors involved in mathematical computation in a computer.

2. General term for the various types of gates, flip-flops, and other on/off circuits used to perform problem-solving functions in a digital computer.

The subject that investigates, formulates, and establishes principles of valid reasoning.