1.1.3. Connectives Notes | Discrete Structure BIT | FWU | TABFlux