Contents:
-Converting numbers between different bases
-Use of Boolean algebra identities and consensus theory
-Use of K-map for functions realization, simplification and equivalence check
-Expressions simplification
-Use of DeMorgan's theory
-Finding minterms of logic functions using K-maps