A＋A→A、O； 
A＋B→A、B、O、AB； 
A＋O →A、O； 
A＋AB→A、B、AB； 
B＋B→B、O；
B＋O→B、O； 
B＋AB→B、A、AB； 
O＋O→O； 
O＋AB →A、B； 
AB＋AB→AB、AB。