1. 연산 *: {0,1} x {0,1} -> {0,1}를 a * b = b if a = 0, else 1 - b라고 하면 0 * 0 = 0, 0 * 1 = 1, 1 * 0 = 1, 1 * 1 = 0이니 아님
2. a *' b = b * a라고 하면 반례
3. 좌항등원 A와 우항등원 B에 대해 A = A *'' B = B
4(5). a *''' b = b(a)라고 정의하면 반례
6. e1, e2가 ^의 양항등원이면 e1 ^ e2 = e1, e1 ^ e2 = e2니까 유일