Przetłumacz następujące zdania, które mają zastosowanie w strukturze stosów ( nie koniecznie prawdziwe ).
a) ~empty(s) => push(pop(s),e)=pop(push(s,e))
Jeżeli stos nie jest pusty ( znajdują się elementy w zbiorze S ), wtedy odłożony na stos, wcześniej zdjęty element jest równo ściągniętemu ze stosu elementowi wcześniej na niego odłożonemu.
b) ~empty(s) => push(pop(s), top(s))=pop(push(s,top(s)))
Jeżeli stos nie jest pusty ( znajdują się elementy w zbiorze S ), wtedy odłożony na stos element, wcześniej zdjęty z jego szczytu, jest równy elementowi zdjętemu, który wcześniej został odłożony na szczyt.
Dobrze?