This program generates and evaluates truth tables for a given Boolean expression. It comprises three main functions: inter(nvbar): This function generates all ...

It parses an expression from propositional logic, computes truth table and deals with viability and satisifiability. The whole thing was made in Jupyter using Python. It checks for some basic syntax ...