: Axiomatic definition of boolean Algebra .Property of BooleanAlgebra, boolean functions, Canonical & standard form; min terms & max terms, standard forms; Digital Logic Gates, Multiple inputs. MODULE-II Gate level Minimization: The Map Method, K Map up to five variables, Product of Sum simplification, Sum of Product simplification, Don't care conditions. NAND and NORImplementation, AND-OR inverter, OR-AND inverter implementation, Ex-OR Function, parity generation& checking, Hardware Description Language (HDL). Combinational Logic: Combinational Circuits, Analysis &Design procedure; Binary Adder-subtractor, Decimal Adder, Binary Multiplier, Magnitude comparator, Multiplexers and demultiplexers, Decoders, Encoders, Multipliers, Combinational Circuits design