C++ Discrete Structures Program please write the program thatcompiles and runs for this.Discrete Structures CMSC 2123 Tautology Project p01 Assignment: Determine which of the following equivalences are valid by evDiscrete Structures CMSC 2123 Tautology Project p01 Assignment: 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. Your program must compute the truth values on both sides of the equivalence operator and determine if, for each value ofp, q, and r, the expressions are equivalent. 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 Prohibition Program Files 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 po1.cpp In the dialog below, the user enters text shown in bold. Description File p01.cpp contains the entire project. Display and Keyboard Input: Command Line: Project 1 is invoked by simply typing po1 on the command line as shown. $po1 Let M be a mathematical symbol and let P be the symbol that is displayed Output Specifications ro Sample Output: Equivalence: p-ptq P0 p->q is equivalent to ptg Show transcribed image text