rules of sum and product in discrete mathematics