In my book (I'm doing assembly freelance, not at school) it's talked about different postulates and theorums, simplification, the minterm method, cononical form, product of maxterms, boolean functions with electrical engineering, different gates, combinatorial circuits, half-adders, full-adders, and embedded systems.