Set of boolean-valued functions of boolean numbers

The set of boolean-valued functions of boolean numbers is the set that contains the functions that map a single boolean variable to another boolean number. There are four functions in this set.

Elements
The four functions are:
 * Proposition function of boolean numbers
 * Negation function of boolean numbers
 * Tautology function of boolean numbers
 * Contradiction function of boolean numbers