Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы равносильных преобразований, а также путем построения дерева доказательства (дерева ... Доказать или опровергнуть общезначимость формулы, используя законы

Поскольку исходная формула не равносильна 1 (истина) то она не является логически общезначимой (тавтологией).

Берём отрицание исходной формулы и применяя правила редукции пытаемся получить во всех листьях пустые дизъюнкты.

, а т...