Как упростить выражение Av(A∧B¯)∧B?

Для упрощения выражения Av(A∧B¯)∧B используем законы логики. Упростим это выражение. Запишем его в виде Av[(A∧B¯)∧B]. Применяя закон дистрибутивности: Av[A∧(B¯∧B)]. Учитывая закон противоречия (B¯∧B)=False, выражение становится Av[A∧False]. С учетом закона нейтральности (A∧False)=False, получаем AvFalse. Учитывая закон нейтральности (AvFalse)=A, следовательно, результат A.