这个等式其实就是与运算的幂等律。像运算定律这样的基本定理，通常很难用其他公式推出。它们大都由运算本身的定义直接导出，所以用枚举法反而会更简单。 幂等律只涉及到1个逻辑变量，所以只需分析2种情况：①：A＝0时；A∧A＝0∧0＝0＝A；②：A＝1时；A∧A＝1∧1＝1＝A； 综合①、②，可知该等式恒成立，即与运算满足幂等律。
