x|y|0123456789abcdef <-- この番号で説明します。 -+-+---------------- 0|0|0000000011111111 0|1|0000111100001111 1|0|0011001100110011 1|1|0101010101010101 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