Propositional Formula

A propositional formula is constructed from simple propositions, such as A and B, using connectives such as NOT, AND, OR, and IMPLIES. For example:
- A AND B is true if A is true and B is true
- A OR B is true if A is true or B is true
- A IMPLIES B is true if A is false or B is true