40 points Express the system specifications using the propositions p "The cat cleaned for the event and The cat was playing within the mud, together with Topical connectives (including negations) . The cat is cleaned for the event whenever the cat was playing within the mud b. The cat was playing within the mud but it was not cleaned for the event." S. "It is necessary to clean the cat for the event whenever it was playing within the mud d. "When the cat is not playing within the mud, it is not cleaned