Parsing Propositional Logic Formula in for of S-expression to generate truth table (Python)

Question

I am trying to make a truth table generator that takes as an input a propositional calculus formula in the form of an S-expression and outputs a truth table. My problem is that