Truth degree function theory of formulas in product logic system