Tautology Verifier How To Build The Program: gcc tautology-check.c truth-table.c postfix.c -o output.out How To Run The Program: ./output.out After that you can enter the expression and check whether it's a tautology or not.
Tautology Verifier How To Build The Program: gcc tautology-check.c truth-table.c postfix.c -o output.out How To Run The Program: ./output.out After that you can enter the expression and check whether it's a tautology or not.