1 and "∨" mean "or";

2. "∧" means "and";

3. "┐" means "no";

4. "=" means "equivalence";

5, 1 and 0 mean "true" and "false".

Boolean used mathematical methods to study logical problems and successfully established logical calculus. He used equality to express his judgment and regarded reasoning as the transformation of equality. The effectiveness of this transformation does not depend on people's interpretation of symbols, but only on the combination law of symbols.

This logic theory is usually called Boolean algebra. In 1930s, logic algebra was applied to circuit systems. Subsequently, due to the development of electronic technology and computer, various complex large-scale systems appeared, and their transformation laws also followed the law revealed by Boolean.

basic concept

1, logical constants and variables: There are only two logical constants, namely 0 and 1, which are used to represent two opposing logical states. Like ordinary algebra, logical variables can also be represented by letters, symbols, numbers and their combinations, but there are essential differences between them, because logical constants have only two values, namely 0 and 1, and there is no intermediate value.

2. Logical operations: In logical algebra, there are three basic logical operations: AND, or NAND. There are many expressions of logical operations, such as statement description, logical algebra, truth table, Karnaugh map and so on.

3. Logical function: A logical function is an algebraic expression in which logical variables and constants are connected by operators. Similarly, logical functions can also be expressed in the form of tables and graphs.

4. Logic Algebra: Logic Algebra is a mathematical system that studies the operation and simplification of logic functions. The operation and simplification of logic function is the foundation of digital circuit course, and it is also the key of digital circuit analysis and design.