Matemática computacional - equvalência
571 palavras
3 páginas
Prove as equivalências das expressões usando as regras de equivalência:1. (P v Q’)’ ( P’ ^ Q
|Resolução |Regra Utilizada |
|P’ ^ (Q’)’ |De Morgan |
|P’ ^ Q |Negação da Negação |
2. (P’ ^ Q)’ ( P v Q’
|Resolução |Regra Utilizada |
|P v Q’ | Negação e De Morgan |
3. (P’ v Q’)’ ( P ^ Q
|Resolução |Regra Utilizada |
|P ^ Q |Negação e De Morgan |
4. (P v Q) ^ P’ ( P’ ^ Q
|Resolução |Regra Utilizada |
|(P’ ^ P) v (P’ ^ Q) |Distributiva |
|F v (P’ ^ Q) |Complementar |
|P’ ^ Q |Neutro |
5. (P ^ Q’)’ ^ (P’ ^ Q’)’ ( Q
|Resolução |Regra Utilizada |
|(P’ v Q) ^ (P v Q) |De Morgan e Negação |
|Q v (P’ ^ P)