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)

Relacionados

  • pavimentação
    90816 palavras | 364 páginas