*p → q)^(¬q v q) is Contradiction) true false

7. Convert each of the following to the other canonical form: Α F(x.y, z) Σ(2.5,6) Final answer: F (x, y, z) = | |(0,1,3,4,7) B. F(A,B,C,D)=II(0,1,2,4,7,9,12)

- Question Completion Status: Quèstion 7 (Big-O Analysis) Total number of comparisons in algorithm A is 2n² +n+1 and total number of comparisons in algorithm B is 2nlog(n) + 8n, where 'n' is input size. (The base of log is 2). Order of algorithm A is O( (a) ). Order of algorithm B is O( (b)). What is (a) and (b) ? O (a): n², (b): n2 o (a): n2, (b): nlog(n) (a): n, (b): nlog(n) (a): n2 +n, (b): log(n) ows b A Moving to another question will save this response.

Definition of 3SAT : In the 3SAT problem, the input is a Boolean expression formed by m clause and n variables (each variable x can have a positive literal x and negative literal x). Each clause formed by disjunction of threeliterals and the formula is formed by the conjunction of the m clauses. For example, the following formulais an instance of the 3SAT problem: (x1 ∨ x2 ∨ x3) ∧ (x1 ∨ x2 ∨ x3) ∧ (x1 ∨ x2 ∨ x3), which is formed by 3 variables x1, x2, x3 and three clauses. The objective is to find an assignment of Boolean values to variables to satisfy the formula. In the example above, one possible satisfying assignment is to let x1 to be false and x2, x3 to be true.  Problem : A 2SAT formula is a conjunction of clauses like a 3SAT formula, except that each clause is a disjunction of 2 literals (rather than 3). For example (x1 ∨ x2) ∧ (x2 ∨ x3) ∧ (x3 ∨ x1) is a 2SAT formula.Use consistency model to provide a 2SAT formula consistent with the following labelled data (or specifythat…