Как упрощать выражения в алгебре логике ?

Question

Учитель толком не объяснил как это сделать, а в интернете примеры похожие найти не могу. Кто может хотя бы 1 выражение помочь упростить? (с указанием законов алгебры логики)

Answer 1

Законы вот здесь, Это аксиомы и свойства. На свойства, в которых есть всякие непонятные операции, обозначаемые стрелочками, внимания не обращай. Давай сделаем первый пример. При помощи ассоциативности "операции И" сделаем вот что X и Y и не Y = (X и Y) и не Y = X и (Y и не Y) Y и не Y - это 0 (ложь) , см аксиомы X и 0 - это ноль, см. аксиомы С выражением в скобках справились. Изначальное выражение уже упростилось до такого: (не X) или 0 Это не X.