Ley del medio exclusivo	p v ~p ≡ V
Ley de Contradicción	p ^ ~p ≡ F
Leyes de Identidad	p ^ V ≡ p p v F ≡ p
Leyes de dominación	p ^ F ≡ F p v V ≡ V
Leyes de Idempotencia	p ^ p ≡ p p v p ≡ p
Leyes conmutativas	p ^ q ≡ q ^ p p v q ≡ q v p
Leyes Asociativas	( p ^ q ) ^ r ≡ p ^ ( q ^ r ) ( p v q) v r ≡ p v (q v r)
Leyes distribuitivas	p ^ ( q v r ) ≡ ( p ^ q ) v ( p ^ r ) p v ( q ^ r ) ≡ ( p v q ) ^ ( p v r )
Leyes de Morgan	~ ( p ^ q ) ≡ ~ p v ~ q ~ ( p v q ) ≡ ~ p ^ ~ q
Doble negación	~ ( ~ p ) ≡ p
Contraposición	p => q ≡ ~ q => ~ p
Implicación / Equivalencia	p => q ≡ ~ p v q
Ley del Bicondicional	p < = > q ≡ p => q ^ q => p
Ley de exportación / importación	p ^ q => r ≡ p => ( q => r )

Descubre

Acerca de Nosotros

Explore Tarjetas

Expresiones Lógicas