Areas of study include base conversions, base operations, complements, logic gates, Boolean algebra, proof by induction, SOP, POS, universal gates, combination circuits, K-maps, multiplexers, decoders, encoders, comparators, PLA, PLC, PAL, RAM and ROM.