3.1. Symbolic Language and Operators Notes | Applied Logic BSC-CSIT | TU | TABFlux