1.1.3. Rule of inferences Visual Notes | Discrete Structure BIT | TU | TABFlux