#Program to convert logic sentence into polish notation(prefix form).
#IN string s place's write your logic sentence to convert into polish notation(prefix form). Use that operations symbols:
- Conjunction -> K,
- Disjjunction -> A,
- Implication-> C,
- Equivalence -> E, -Negation - N
#Please remember about brackets in right places, fg N(pCq) != NpCq
#Also is important that for now you can use as variables in sentence only : -p -q -r -s -t
#Author: Piotr Wygocki