Express each of these system specifications using predicates, quantifiers, and logical connectives.
- Every user has access to an electronic mailbox.
- The system mailbox can be accessed by everyone in the group if the file system is locked.
- The firewall is in a diagnostic state only if the proxy server is in a diagnostic state.
- At least one router is functioning normally if the throughput is between 100 kbps and 500 kbps and the proxy server is not in diagnostic mode