Consider the following two C++ programs P and P2 and two statements S and S2 about...

  

Transcribed Image Text:

Consider the following two C++ programs P₁ and P2 and two statements S₁ and S2 about the programs: P1 P2 double a = 1, b void f(int a, int*b, =2; int &c) double &f(double { a = 1; &d) *b=2; c = 3; d = 4; return b; int main() int main() k K int i = 0; f(a) = 5; f(i, &i, i): cout << a << cout << i; <<b; S₁: P1 prints out 3 S2: P2 prints out 4:2 What can you say about the statement S₁ and S₂? Consider the following two C++ programs P₁ and P2 and two statements S₁ and S2 about the programs: P1 P2 double a = 1, b void f(int a, int*b, =2; int &c) double &f(double { a = 1; &d) *b=2; c = 3; d = 4; return b; int main() int main() k K int i = 0; f(a) = 5; f(i, &i, i): cout << a << cout << i; <<b; S₁: P1 prints out 3 S2: P2 prints out 4:2 What can you say about the statement S₁ and S₂?

Answer rating: 100% (QA)

1 Satisfying Formulas with a Model We are looking for a model that satisfies both of the following formulas x cgx 6 a c xy where gx gy and x y Unfortu... View the full answer