Нахождение всех возможных комбинаций значений истинности с правильно сформированными формулами, встречающимися в данной формуле в C

Question

Я хочу написать оценщик таблицы истинности для данной формулы, как на этом сайте. 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, однако я не получил его.

Answer 1

Написание синтаксического анализатора приоритета оператора для оценки выражений инфиксной нотации - непростая задача. Тем не менее, алгоритм маневрового двора - хорошее место для начала.