Restaurant/Tischdecke/Austausch/Aufgabe

Das Personal im Restaurant ist angewiesen, eine Tischdecke auszutauschen, sobald sich auf ihr ein Fleck befindet. Welche der folgende(n) Aussagen sind eine logisch äquivalente Formulierung dieser Aufforderung? Dabei steht für die zweistellige Relation, dass ein Fleck (oder ein Flecktyp) sich auf der Tischdecke befindet, und für die einstellige Relation, dass die Tischdecke ausgewechselt werden soll.