A. 蕴涵运算中,若A为真,则当B为真时,A → B为真,B为假时,A → B为假

B. 蕴涵运算中,若A为假,则不论B为真或假,A → B都为真

C. 吸收运算中,A∨(A∧B)=A,A∧(A∨B)=B

D. 互补律中,A∧(¬A)=0,A∨(¬A)=1