8: x nor y (not (x or y)) 9: x == y (not (x xor y)) a: not y b: x >= y c: not x d: x ⇒ y (x ならば y) (x <= y) (x imp y) e: x nand y (not (x and y)) f: 1