Note: The source teacher's PPT
1. The relationship between constants
2. Variables and constants in, relationships between variables and variables
3. Theorems similar to ordinary algebra (commutative law, binding law, distributive law)
4. Some special theorems of logical algebra (same as All). De Morgan theorem)
5. Three principles on the equation (surrogate rules, inversion rules, dual rules)
Surrogate rule: A variable in an equation is replaced with a logical function, the equation is still true
Inversion rule: "." In the Y-formula Replace with "+", "+" to "."
"0" Replaced by "1", "1" to "0"
Change the original variable to the inverse variable and the inverse variable to the original variable.
Dual rule: "in Y". Replace with "+", "+" to "."
"0" Replaced by "1", "1" to "0"
6. Several commonly used formulas
7. Some formulas for XOR operations (XOR, same OR)
"Digital Circuit" chapter II logical Algebra