Funciones veritativas con dos variables

Este post es continuación de estotro. Las funciones de verdad compuestas de dos variables proposicionales son en total 16. Es decir, todas las posibilidades de combinar 'p' y 'q' en fórmulas como Cpq, Kpq, etc., son 16. Evidentemente las combinaciones posibles entre variables y conectivas son más, pero todas van a expresar sólo 16 funciones. Es decir que dos fórmulas equivalentes expresarán la misma función.

Usaré notación prefija* (es más ágil para escribir en el teclado) y escribiré a la derecha las valuaciones resultantes para los valores p:1100 y q:1010:

1. CpCqp: 1111
2. Apq: 1110
3. Cqp: 1101
4. Cpq: 1011
5. NKpq: 0111
6. CCpqp: 1100
7. Epq: 1001
8. ANpKqNp: 0011
9. NEpq: 0110
10. CCqpq: 1010
11. ANqKpNq: 0101
12. Kpq: 1000
13. KpNq: 0100
14. KNpq: 0010
15. NAp1: 0001
16. KKpNpq: 0000

________
* Nota:
Cpq equivale a 'p ⊃ q',
Apq a 'p ∨ q',
Np es '~p',
Kpq 'p·q',
Epq es 'p ≡ p'.

   La incompatibilidad:
Dpq equivale a 'p|q'

   Cuantificadores:
Πxφ  es   ∀xφ
Σxφ    es  ∃xφ