Propositional Logic

We have the constants true and false:

Atomic propositions:

And connectors that, when combined with atomic propositions, constants or other connectors, form composite propositions:

When all children of the connector are connected, the connector assumes a value, according to its logical interpretation.

For example, an AND connective, connected with the exact same values that an OR connected takes, assumes a different value:

Some connectors take a single child as opposed to two:

A connector can also be used as child: