Приемы и способы преобразования логическикх выражений