pdnf and pcnf in discrete mathematics