Доказать равносильность формул двумя способами: а) используя определение; б) с помощью тождественных преобразований.