Stack and queue related to formal methods

Question

Develop some statements with relevant conclusions that represents facts of stack, queue, searching or sorting operations. Statement may consist of true or false value and must be transformed into symbolic form? Can anyone help me with this?

Answer 1

Stack is based upon LIFO last in fist out principle.
Here is the program for stack
It might not run properly in Sololearn codeground but you can understand the concept of stack seeing the logic.
https://code.sololearn.com/cKk3ZYhO74e9/?ref=app