[Python]

Evaluation of formula G =((p->q) ^p)->q and the output display the result of true false' conclusion if it is a valid, invalid or inconsistent.. thank you for any response its a big help to my study her's my unfinished code import sys p=(True,True,False,False) q=(True,False,True,False)