how to solve truthtables using python