Сomparison-line Голосов: 1 Адрес блога: http://comparison-line.ru Добавлен: 2010-11-26 13:42:23 блограйдером kottx

Правые части равенств

2012-12-25 01:40:01 (читать в оригинале)

Правые части равенств в антецедентах обрабатываются нормализаторами «нормпредел». Условие равенства предела знаменателя нулю обрабатывается простейшим нормализаторами числовых равенств «нормчисло». Заметим, что нецелесообразно применять нормализатор общей стандартизации логических связок «нормлог» к вводимой для разбора случаев дизъюнкции, так как она, очевидно, тавтологична и будет им заменена на константу «истина». Если вы решили сделать ремонт в своем офисе, [...]