Исследование логических операций и их эквивалентности