Concept

Logical shift

Related lectures (23)

Covers Presburger arithmetic, quantifier elimination, and the transformation of formulas into disjunctive normal form.

Provides an overview of flip-flops, registers, and counters in digital systems.

Introduces arithmetic, increment, decrement, relational, equality, logical operators, and the ternary conditional operator in C.