Someone who is good at programming can write me a program in c or python to check if a sentence is well formatted or not? and if it is not to show and where is the error? example of a well-formed sentence: ((p -> q) ^ (q ^ p)) (it's logical sentences from computational logic)