Przetłumacz następujące zdania, które mają zastosowanie w strukturze stosów ( nie koniecznie prawdziwe ).
a) \(\displaystyle{ \neg empty(s) \Rightarrow 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) \(\displaystyle{ \neg empty(s) \Rightarrow 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?
