In Exercises $16,$ translate the given statement into propositional logic using the propositions provided$\mathrm{.}11.$ Are these system specifications consistent? The routercan send packets to the edge system only if it supports thenew address space. For the router to support the new address space it is necessary that the latest software releasebe installed. The router can send packets to the edge system if the latest software release is installed. The routerdoes not support the new address space$\mathrm{.}12.$ Are these system specifications consistent? If the filesystem is not locked, then new messages will be queued.If the file system is not locked, then the system is functioning normally, and conversely. If new messages are notqueued, then they will be sent to the message buffer. If thefile system is not locked, then new messages will be sentto the message buffer. New messages will not be sent tothe message buffer.