设G4={P=(p1,p2,p3,p4),pi∈{0,1}},是G4上的二元运算,定义为对于任意 X=(x1,x2,x3,x4), Y=(y1,y2,y3,y4)∈G4
设G4={P=(p1,p2,p3,p4),pi∈{0,1}},是G4上的二元运算,定义为对于任意
X=(x1,x2,x3,x4), Y=(y1,y2,y3,y4)∈G4,
其中,的运算表如表5-11所示.证明:({(0,0,0,0),(1,1,1,1)},0)是群(G4,)的子群.
表5-11 | ||
bar{vee } | 0 | 1 |
0 | 0 | 1 |
1 | 1 | 0 |