продемонстрируйте пожалуйста метод эквивалентных преобразований (получение сднф и скнф) на примере импликации и штриха шеффера