Simplifying” is subjective. Also, crucial. – Math with Bad Drawings
Propositional formula - Wikipedia
Logic
Logic Calculator Free APK for Android Download
logic - Are there any programs on the internet that show step by step how to convert a formula to Conjunctive Normal Form? - Mathematics Stack Exchange
Propositional Logic Resolver by Quang Phan
Lessons In Electric Circuits -- Volume IV (Digital) - Chapter 7
Construct A Truth Table Calculator
Demorgan's Law, What Is DeMorgan's First Theorem? - Maths