"A survey of classical and modern logic including Boolean operators, truth tables, and Karnaugh maps; theorems, argument verification, inference rules, and proof techniques in zeroth- and first-order logic; multivalued logics; and fuzzy logic, including applications such as artificial intelligence and controllers." . . . . .