Estructuras algebraicas en el conjunto de las funciones de verdad.

Resolución de un problema matemático sobre estructuras algebraicas con un conjunto de funciones reales. La letra F representa el conjunto de las 16 funciones de verdad de la lógica bivalente. Se representan estas funciones con letras minúsculas de acuerdo con una serie de convenciones. Cada una de estas letras seguida del apóstrofo representará la correspondiente función complementaria. A partir de operaciones matemáticas, se obtienen demostraciones de fenómenos reales.