Binary Numbers, Truth Tables, Logic Expressions, AOI Logic Analysis, Boolean Algebra, and DeMorgans.