Дискретная математика: как упрощать выражения методами и примерами