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.

Formatting rows and columns is similar to cell formatting. in an openoffice calc spreadsheet, you can format data entered into rows and columns with the of the rows and columns options. you can insert rows and columns into, or delete rows and columns from, a spreadsheet. use the insert or delete rows and columns option on the insert tab. alternatively, select the row or column where you want new rows or columns to appear, right-click, and select insert only row or only column options. you can hide or show rows and columns in a spreadsheet. use the hide or show option on the format tab. for example, to hide a row, first select the row, then choose the insert tab, then select the row option, and then select hide. alternatively, you can select the row or columns, right-click, and select the hide or show option. you can adjust the height of rows and width of columns. select row and then select the height option on the format tab. similarly, select column, then select the width option on the format tab. alternatively, you can hold the mouse on the row and column divider, and drag the double arrow to the position. you can also use the autofit option on the table tab to resize rows and columns.