This project utilizes the Wang Hao algorithm to read input propositions and determine their truth values. The project is fully implemented in C language, without any object-oriented programming ...