Propositional Calculus - What is an example of a propositional formula?

A propositional formula can be constructed from basic propositions like 'five exceeds three' or propositional variables such as p and q. These are combined using logical operators or connectives such as NOT, AND, OR, or IMPLIES. An example could be: (p AND NOT q) IMPLIES (p OR q).