Software Testing Quiz 2 For a given propositional logic formula, if all possible assignments of true/false values to the atomic propositions make the formula evaluate to true, what is the formula called? A. The formula is a tautology. B. The formula is a satisfiable formula. C. The formula is a contradiction. D. The formula is … Continue reading 19 Software Testing Questions & Answers – Quiz 2 Flashcards