1.2.5. Rules of Inferences Verbal Notes | Discrete Structure BIT | TU | TABFlux