Step by step truth table generator for logical formulas. App takes input of a logical formula, and generates the truth table, and step by step breakdown of every intermediate proposition the way humans would do it.