Matemática computacional - equvalência

Disponível somente no TrabalhosFeitos
  • Páginas : 3 (571 palavras )
  • Download(s) : 0
  • Publicado : 27 de novembro de 2011
Ler documento completo
Amostra do texto
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)...
tracking img