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