Assignment: Prohibition: Program Files: Display and Keyboard Input: Command Line: Output Specifications: Sample Output: Determine which...

Transcribed Image Text:

Assignment: Prohibition: Program Files: Display and Keyboard Input: Command Line: Output Specifications: Sample Output: Determine which of the following equivalences are valid by evaluating both sides of the equivalence relation for every value of p, q, and r as shown in the sample output. 1. p q = ((pVq) ^ (pV¬q)) 2. (p Aq) = ¬V¬q 3. q = ((pq) ^ (q→p)) 4. (pq) →rp → (q + r) Your program must compute the truth values on both sides of the equivalence operator and determine if, for each value of p, q, and r, the expressions are equivalent. p Use of the C++ Standard Template Library is prohibited in the implementation of this project. Project 1 consists of the file p01.cpp. The file name for project 1 is exactly as given. Failure to name the project 1 file as shown will result in a score of zero (0) for this project The project 1 file must be stored in the root directory of your student account. Failure to store the project file in the root directory of your student account will result in a score of zero (0) for this project. File Description p01.cpp File p01.cpp contains the entire project. In the dialog below, the user enters text shown in bold. Project 1 is invoked by simply typing p01 on the command line as shown. $ p01 Let M be a mathematical symbol and let P be the symbol that is displayed by project p01. M A POO P * 0 A Equivalence: p->q === ~p+q р q p->q ~p+q 0 0 1 M V 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 p->q is equivalent to ~p+q P + -> M P N Assignment: Prohibition: Program Files: Display and Keyboard Input: Command Line: Output Specifications: Sample Output: Determine which of the following equivalences are valid by evaluating both sides of the equivalence relation for every value of p, q, and r as shown in the sample output. 1. p q = ((pVq) ^ (pV¬q)) 2. (p Aq) = ¬V¬q 3. q = ((pq) ^ (q→p)) 4. (pq) →rp → (q + r) Your program must compute the truth values on both sides of the equivalence operator and determine if, for each value of p, q, and r, the expressions are equivalent. p Use of the C++ Standard Template Library is prohibited in the implementation of this project. Project 1 consists of the file p01.cpp. The file name for project 1 is exactly as given. Failure to name the project 1 file as shown will result in a score of zero (0) for this project The project 1 file must be stored in the root directory of your student account. Failure to store the project file in the root directory of your student account will result in a score of zero (0) for this project. File Description p01.cpp File p01.cpp contains the entire project. In the dialog below, the user enters text shown in bold. Project 1 is invoked by simply typing p01 on the command line as shown. $ p01 Let M be a mathematical symbol and let P be the symbol that is displayed by project p01. M A POO P * 0 A Equivalence: p->q === ~p+q р q p->q ~p+q 0 0 1 M V 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 p->q is equivalent to ~p+q P + -> M P N

Answer rating: 100% (QA)

As for given data Program code inc... View the full answer