This book covers strong formulas in discrete mathematics and mathematical logic, including definitions and examples of tautology, De Morgan's rules, and equivalences