Problem One:Use Python to show the satisfiability of the following compound propositions:P1: (p ∨ ¬q) ∧ (q ∨ ¬r) ∧ (r ∨ ¬p) ∧ (p ∨ q ∨ r) ∧ (¬p ∨ ¬q ∨ ¬r)P2: (p ∨ q ∨ r) ∧ (¬p ∨ ¬q ∨ ¬r)P3: (p ∨ ¬q) ∧ (q ∨ ¬r) ∧(r∨ ¬p)Problem Two:Use Python to calculate the Process Capability using below specifications:Specs: 16.5± 1.0mm. The supplier has collected 25 subgroups of 5 measurementsand wants to determine the process capability. Subgroup size of 5 The process average = 16.507the average range is 0.561.Calculate the Cpk.