Question Completion Status: QUESTION 1 In Golden Rule, for any propositions S and T, SATESETESV T means A. Both are false B. A and D OC. T is true OD. Both are true QUESTION 2 1. Formal Methods guarantees perfect software and eliminate the need for testing. True or false? 2. Formal Methods is used on real large-scale systems. True or false? O A. Both are true B. No l is false - No 2 is true C. No 1 is true - No 2 is false OD. Both are false QUESTION 3 For any propositions and where both are false. then the outcomes for P= Q is and P > ( PQ) is A. true - false B.trie - true C. false - false OD. false - true QUESTION 4 For any propositions P and Q. if P Q is a then the logically equivalent can be written as A. tautology-P=0 B. bidirectional -PEQ C. implication -- (PV) D. negation - PA QUESTION 5 A program is to compare the two equal strings. Which is returned false? OA. "KAU" and "KAU" B. "house" and "house" C. "Jeddah" and "Jeddah" OD. "Rabegh" and "Rabigh" QUESTION 6 In logical connector, the statement "it is only true when both P and Q are true" is written as O A. P and Q OB. P with Q . r Q OD. P in Q QUESTION 7 For any propositions P and Q, which combination returned true for P Q ? A. both P. Q are false B. P is true, Q is false C. both P. Q are true OD. A and C QUESTION 8 Formal Methods are used because a program developed can't be sure to work O A. 999 OB. 100% OC. 90% D.95% QUESTION 9 For any propositions P and Q, De Morgan's law is given as A. - (AP) = PV-Q . - (Pv Q) - . - (PV Q) =-- D. - (PAO) = -PVQ QUESTION 10 The software problems in machine expected a radiation treatment for cancer patient but caused several deaths due to software bug over radiation is a bug called A. Pentium bug B. Patriot Missile OC. AT&T D. Therac 25