WFFchecker

This is just a little code write in C. That checks if a propositional formula is valid.

- Testing

Dictonary:

Proposicional Conectives:

• -> - IMPLICATION
• <> - EQUIVALENCE
• && - AND
• || - OR
• ! - NEGATION

Proposicional Symbols:

• P, Q, R, S, P1, Q1, R1, S1, P2, Q2..
• excluding lower case

True Symbols:

• 0 - FALSE
• 1 - TRUE