Cnf and dnf in discrete mathematics