This problem investigates resolution, a method for proving the unsatisfiability of cnf-formulas. let φ = c1 ∧c2 ∧···∧cm be a formula in cnf, where the ci are its clauses. let c = {ci| ci is a clause of φ}. in a resolution step, we take two clauses ca and cb in c, which both have some variable x, where x occurs positively in one of the clauses and negatively in x ∨z1 ∨z2 ∨···∨zl), where the yi the other. thus, ca = (x ∨ y1 ∨ y2 ∨ · · · ∨ yk) and cb = ( and zi are literals. we form the new clause (y1 ∨y2 ∨···∨yk ∨ z1 ∨z2 ∨···∨zl) and remove repeated literals. add this new clause to c. repeat the resolution steps until no additional clauses can be obtained. if the empty clause () is in c, then declare φ unsatisfiable.

the answer is a i belaeve atleast thats what my calculator just gfave me

step-by-step explanation:

step-by-step explanation:

12: 00 p.m. to 7: 00 p.m. is a total of 7 hours.

4: 00 p.m. to 7: 00 p.m. is a total of 3 hours.

this means that from 4: 00 p.m to 7: 00 p.m. this represents 3/7 of what was lost from 12: 00 p.m. to 7: 00 p.m.

after knowing this, after doing 11,600 - 6,800 = 4,800

4,800 represents 3/7 of what was lost for 7 hours.

we then divide 4,800 by 3 which gets 1,600.

because we know that 1,600 represents 1/7 of how much water was lost, we just have to multiply by 7, which gets 11,200.   after adding 11,200 to how much water was left at 7: 00 p.m. which was 6,800. 11,200 + 6,800 = 18,000

this means that the pool originally had 18,000 gallons in the pool.

you can also check your work by doing 18,000 - 4(1600), which becomes           1800 - 6400 which gets you 11,600.

i think the answer is seven, for if i'm being useless °ω°

step-by-step explanation:

step-by-step explanation:

kjswgdkxg