Question

C++ test to see whether or not if two Well formed formula's (wff's) are equivalent by creating truth tables.

No Structs , Classes or Pointers can be used.

You MUST use arrays, The problem can be achieved with three one dimensional arrays or two two deminsional arrays, or you can do a combination of two and one deminsional arrays.

The purpose of this program is to test whether or not the alternative expression for the circuit is equivalent to the original expression for the circuit. This problem boils down to testing whether or not two wffs are equivalent by creating truth tables. To simplify the problem, I will guarantee that the right side of any sub-expression of the overall expression will be a variable or the negation of the variable. For example, the following are acceptable expressions: PAQ PAQ- R (P VQ) MR P But the following would not be acceptable: PA(QAR) P- QVR. (PVQ)n(PVR) P Further simplifications are as follows: l. There will be no more than three variables P Q and R (always assume exactly 3 2. The only operators will be A (for and), O (for or), I(for implication), N (for not), and E(or end of expression) 3. The input will be in postfix notation. That means, the operator follows its operand(s). For example: PAQ would be written PQAE would be written PQARIE PAQ- R PVQ R would be written PNONORIE (PVQOR P would be written PQORAPIE Postfix is nice because the order of operations is no longer a problem, and it is easily implemented on a stack. However, the simplifications are such that a stack is not necessary for this program Your program should ask for the first expression. You must enter the entire expression on one linc. 0Notc: The program docsn't nced to read the cntire expression at one time, but the uscr shouldn't be asked to enter the expression or any part of it more than one time.) The program will read each of the characters and perform the appropriate operations. The program will then ask for the second expression, read it, and perform the operations. Finally, the program will print out the final truth table for the first wff, the final truth table for the second wff, the equivalence truth table, and a statement about whether or not the two expressions are equivalent. For example, if the output is in bold and the input is in nomal font, a sample run would be input the first expression: POLE input the second expression: PNQOE first second equivalence The two expressions are equivalent

Answer 1

"# include < iostream > # include < algorithm > # include < sstream > # include < tuple > # include ""wffanalyzer h"" using namespace std: int main (int argc, char argv []) { if (argc ! = 2) { cout < < ""Invalid arguments !"" < < end1 < < ""Usage: "" < < end1 < < argv [0] < < [WFF]"" < < end1: return = 1: } string exp (argv [1]): vectors < string > props: vector < bool > result: if (! Analyze Expression (exp, props, result)) cout < < ""Invalid expression!"" < < end1: cout < < ""The expression is valid print the truth table: "" < < end1: cout < < join (props, "" "") < < "" "" < < exp < < end1: // print truth table for (uint conf = 0: conf! = result size (): conf + +) { for (uint i = 0 i! = props size (): i + +) cout < < (assignment At (conf, i) ? 'T': 'F') < < "" "": cout < < (result [conf] ? 'T': 'F') < < end1: }"