Table 1 from The Logical Implication Table in Binary Propositional Calculus: Justification, Proof Automatability, and Effect on Scientific Reasoning | Semantic Scholar
logic - Implication truth table - Mathematics Stack Exchange
State Table Reduction, State Chart Reduction, State row reduction, Implication table reduction - YouTube
Digital Circuits/Optimization - Wikibooks, open books for an open world
The Implication Table
Truth Tables of Five Common Logical Connectives or Operators - ChiliMath
Implication Chart Method for State Minimization - Digital System Design
Sentential Logic Operators, Input–Output Tables, and Implication Rules - dummies
Lecture 21 State minimization via implication charts. - ppt video online download