12.2.3. Факторизация

Размер предложений по длине можно уменьшить, используя подстановочные частные случаи, при которых некоторые литералы в предложении становятся одинаковыми. Эта операция называется факторизацией. Например, предложение

можно факторизовать подстановкой

Тогда получим

называется фактором предложения С. Фактор предложения не обязательно единствен. Если (46) заменить на

получим другой фактор

Поскольку любое предложение имплицирует свои факторы, то множество можно дополнить, включив в него факторы его предложений. Это увеличивает число предложений в но добавляемые предложения короче тех, из которых они выведены, и могут привести к более коротким выводам пустого предложения