4.7.3. Formal logic-connectives Notes | Artificial Intelligence BIM | TU | TABFlux