Примеры упрощения логических формул с использованием законов логики