This topic is essentially Boolean Algebra, but represented with symbols seen on a circuit diagram as opposed to represented mathematically.