> -- Artyemov писал(а):
> Логическое произведение инверсий - это инверсия логической суммы:не будет ли читаемее:not (а.булевоПоле or а.другоеБулевоПоле) ?
Возможно и будет, но это уже рефакторинг. В теме предлагалось рассматривать именно запись сложных выражений, которые в реальности на практике есть, а не способы их рефакторинга. В принципе, один из вариантов - это задать на уровне политики предельную сложность логических выражений. Правда, сложность самих программ не устранима, если её из одного места выдавить, она перетечёт в другое. Поэтому рассматриваемая тема актуальна, во всяком случае, для меня в связи с компилятором Fox, в котором такие выражения встречаются.