KB012: Boolean Logic: AND, OR, XOR, NOT