DNF and regular expressions