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