standard factored form discrete math