Se aplicarmos as Leis de Idempotente, De Morgan e Comutativa às proposições P ^ P, ~ (P ^ Q) e P ^ Q, obteremos, respectivamente,