em 28/03/2017
UFMT
FAPEN
UCAM
UNIASSELVI
Já tem uma conta?Entrar
Ao continuar, você aceita os Termos de Uso e Política de Privacidade
Prévia do material em texto
Absorção (ABS) P Λ (P V Q) ≡ P P V (P Λ Q) ≡ P Bicondicional (BICOND) P ↔ Q ≡ (P→ Q) Λ (Q→ P) P ↔ Q ≡ (~P Λ ~Q) V (P Λ Q)