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

Определить, с помощью эквивалентных преобразований алгебры логики, является ли заданное логическое выражение   - тавтологией, если  являются функциями от трех переменных  . СовДНФ функции φ содержит одну конституенту, которая определяется числом k2 (k2 = (Nж + 173)mod 8, а СовДНФ функция ψ содержит одну конституенту, которая определяется числом k3 (k3 =(Nж + 111) mod 8.