Pascalの宿題は俺にやらせろ！！Part3

以下の条件(仕様)を満たすプログラムを作成し， そのプログラム(Pascalプログラムソースファイル)とともに その解説書を提出すること．
逆ポーランド記法で入力された論理式の充足可能性を判定し， その式の値をtrueにする変数値を，通常の表記とともに出力すること．
可能な演算は論理積(and)， 論理和(or)， 否定(not)， の3種類として， それぞれ 'a'，'o'，'n' で表現すること．
使用可能な論理変数は x0, x1, ..., x9 の10種類とし， それぞれ '0'，'1'，...，'9' で表現すること．
例) (x1∧x2)∨(¬x1∧x3)　⇒　 12a1n3ao
使用できない文字が含まれる入力に対してエラーの旨を出力すること．
入力された論理式の充足可能性を判定， 式の値を true にする変数値を出力した後， 再度入力待ち状態になり， 空の文字列を入力するとプログラムが終了すること．

これお願いします。解説も出来たらお願いします。