Для доказательства данного тождества воспользуемся законом дистрибутивности конъюнкции относительно дизъюнкции:
(A∧B)∨(A∧¬B)=(A∧(B∨¬B))=(A∧1)=A.
Таким образом, мы показали, что A∧B∨A∧¬B=A.
Для доказательства данного тождества воспользуемся законом дистрибутивности конъюнкции относительно дизъюнкции:
(A∧B)∨(A∧¬B)=(A∧(B∨¬B))=(A∧1)=A.
Таким образом, мы показали, что A∧B∨A∧¬B=A.