What is the type of? A: tautologies B: contradiction C: Nontautological satisfiable formula D: Unable to determine
What is the type of? A: tautologies B: contradiction C: Nontautological satisfiable formula D: Unable to determine
1