1. Engineering
  2. Computer Science
  3. 3428 let be a boolean formula constructed from the...

Question: 3428 let be a boolean formula constructed from the...

Question details

34.2-8 Let ф be a boolean formula constructed from the boolean input variables xi, X2. , , , , Xk, negations (-). ANDs (A), ORs (V), and parentheses. The formula φ is a tautology if it evaluates to 1 for every assignment of 1 and 0 to the input variables. Define TAUTOLOGY as the language of boolean formulas that are tautologies. Show that TAUTOLOGY E co-NP

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution