In the following Python code snippets, all variables are Boolean, and the functions return Boolean values. These are called $$Boolean functions$.$ It is known that every Boolean function is equivalent to a formula of propositional logic. This might be called a $$fundamental theorem of propositional logic$.$

For each of the functions, write an equivalent propositional logic formula over the basic syntax.

For instance, for the code: