Implementation of isCNF and isDNF - feel right