Use rules of inference to show that the premises: If the disk is encrypted, then the file is secure. The memory is full, and the file is not secure. The server boots or the disk is encrypted. If the server boots, then the application runs. Lead to the conclusion: The application runs. Note: Use propositional variables and write the name of the rules of inference that you are using