Информатика. логика. вычислить или выражение (a+)+b)

По хорошему, вам достаточно загуглить слова "логика преобразования".  как мы знаем, в логических выражениях '+' - это '∨', а '*' - это '∧' (строго говоря это не всегда так, и логика множеств и функций в этом не , но тут нам это неважно). я буду писать  ∨ и  ∧ т.к. тут это правильнее и стоит сразу привыкать к общепринятым обозначениям. рассмотрим внимательнее это выражение (a ∨ (a ∧ b)) ∧ (¬(a ∧ b) ∨ b) воспользуемся правилом де-моргана, которое гласит: ¬( a  ∧ b) =  ¬a  ∨  ¬b подставим (a ∨ (a  ∧  b))  ∧  (¬a  ∨  ¬b  ∨ b) дальше отметим, что  ¬b  ∨ b = 1 (a ∨ (a  ∧  b))  ∧  (¬a  ∨ 1) так же знаем, что a  ∨ 1 = 1, а a  ∧ 1 = a, a  ∨ a = a (a ∨ (a  ∧  b))  ∧  1 = (a ∨ (a  ∧  b)) следовательно наше выражение пришло к виду a ∨ (a  ∧  b) , также, используя дистрибутивность можно написать это выражение как  a ∨ (a  ∧  b) = ( a ∨ a)  ∧ ( a ∨ b) = a  ∧ (a  ∨ b)

Сравно например=a1+a2