Развертка логических ИЛИ в плоское декартово произведение выражений

Описано тут.