以后可简写为 (XX)→(x→X 000 1000 000 01 0100 0000 00 0111 101 1011以后可简写为: (x1  x2 ) → (  x3 → x1) 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1