(pcnf) discrete mathematics's project in c++

[enigma96]

Hi everyone anyone can help me about how to write this project .the project is about tow statements that program could distinction that these tow statement are equal or not by using normal forms pcnf or pdnf. I don't know how to use connectives(not and or ...) in c++ and how to enter the statements .

[jonnin]

you want to compare 2 symbolic equations, is this correct?