D1:=if(not(a1), b1,

     if(not(a2),b2,

     if(not(a3),b3,

     if(not(a4),b4,

     if(not(a5),b5,B)))));

D2:=if(not(a1), a,

     if(not(a2),a,

     if(not(a3),a,

     if(not(a4),a,

     if(not(a5),a,B)))));

同 D2:=if(a1 and a2 and a3 and a4 and a5,B,a);