In this problem you will be implementing a theorem prover for a clause logic using the resolution principle. Well-formed sentences in this logic are clauses. As mentioned in class, instead of using the implicative form, we will be using the disjunctive form, since this form is more suitable for automatic manipulation. The syntax of sentences in the clause logic is thus

Answer asap ill give ! ’ a sample of radioactive material decays over time. the number of grams, y , of the material remaining x days after the sample is discovered is given by the equation y = 10(0.5)^x. what does the number 10 represents in the equation? a. the half-life of the radioactive material, in days b. the amount of the sample, in grams, that decays each day c. the time, in days, it will take for the samples to decay completely d. the size of the sample, in grams, at the time the material was discovered