离散数学设A ,B为任意的命题公式,吸收律的两种形式分别为 和