このサイトのように、特定の式の真理値表評価器を書きたいと思います。 http://jamie-wong.com/experiments/truthtabler/SLR1/ 演算子は次のとおりです。
- (negation)
& (and)
| (or)
> (implication)
= (equivalence)
ここまで作ったのは
-(-(a& b) > ( -((a|-s)| c )| d))
この式を考えると、私の出力は
abdsR
TTTT
TTTF
TTFT
TTFF
TFTT
TFTF
TFFT
TFFF
FTTT
FTTF
FTFT
FTFF
FFTT
FFTF
FFFT
FFFF
評価部分で困っています。配列を作成し、それが役立つ場合は括弧のインディーズを格納しました。つまり、7-3、17-12、20-11、23-9、24-1 http://www.stenmorten.comのコードもチェックしました。 /English/llc/source/turth_tables_ass4.c ですが、わかり ませんでした。