На днях в разговоре с одним товарищем, согласившемся участвовать в LC, выяснилось, что для реализации поддержки поисковых запросов типа category:torrents AND metallica the unforgiven AND NOT (live OR video) нужны ДНФ/КНФ. Не вершины дискретного анализа, конечно же, но нехило так прибавляет мотивацию учиться.