kruzhevnik

Понятно, то-то я и смотрю, на Espresso не очень похоже. Вообщем, посмотрю, что можно сделать

Вообще-то Espresso вроде как умеет минимизировать системы булевых функций — соответственно, общие подвыражения, которые вы выделили в отдельные переменные, должны там использоваться. Но, возможно, Espresso посчитало такие варианты не идеальными. Можно попробовать как-то поиграть с опциями минимизации (не могу подсказать, не знаток Espresso).

Тут выше сказали, что карты Карно для большого количества переменных неудобны, но мне так не кажется ;) Приведите полностью вашу систему, а попробую что-нибудь с ней сделать. И сложность вашего решения по Квайну посчитайте, чтобы мне было на что ориентироваться.

Насчет карт Карно, и почему мне кажется, что они довольно удобны — я как раз автор одной из софтинок для Карт Карно, и думаю написать о ней статью — загляните пожалуйста в Q&A. В принципе, КК сейчас в реальной разработке малоактуальны, но мне интересно, могут ли они помочь в случаях, подобных этому.

Из Китая разброс в среднем 30-45 дней до порога (родного отделения связи). Зависит, видимо, от загруженности почты в определенные периоды — на днях как раз получил две посылки — отправлены одной конторой, обе через почту Сингапура, одна шла 31 день, другая 45, причем у обеих были аналогичные пары — и из одной пары уже в сортировке после таможни (48 дней), а вторая еще «вылетела из Сингапура в страну назначения» (33 дня). В то же время зависла одна посылка — 73 дня как вылетела из Китая в страну назначения, и все где-то летает.