- boolean algebra;
- boolean operators (logical connectives);
- truth tables;
- propositional expressions;
- normal forms;
- inference;
- probably could be extended further to first-order logic.
- https://en.wikipedia.org/wiki/Mathematical_logic
- https://en.wikipedia.org/wiki/Propositional_formula
- https://en.wikipedia.org/wiki/Truth_table
- https://en.wikipedia.org/wiki/Binary_relation
- https://en.wikipedia.org/wiki/Functional_completeness#Characterization_of_functional_completeness
- https://en.wikipedia.org/wiki/Rewriting#Term_rewriting_systems