Как мне доказать A (B + C) = AB + A C в булевой алгебре?

Question

введите описание изображения здесь

Привет всем, мне нужна помощь, чтобы доказать, что A (B + C) = AB + A C в логическом значении. Прошло много лет с тех пор, как я это сделал, и друг попросил о помощи. Я пытался, но я не могу понять это правильно. Может кто-нибудь объяснить, как доказать это, используя Boolean? И где я go ошибся на картинке?

Answer 1

Насколько я знаю, доказательства сделаны Де * Морганом aws.