SOLUCIÓN EJERCICIOS CON BASE EN LEYES MORGAN
G+
(Nivel Principiantes)
PRIMERO:/P
- -1. ~ ( C + ~ P )
- 2. ( ~ C . P ) 1 , 0 DM
- 3. ( P . ~ C ) 2 , 0 COM
- 4. P 3 , 0 SIMP
SEGUNDO:/(~K+~S)
- -1. [ ~ K + ( L . ~ S ) ]
- 2. [ ( ~ K + L ) . ( ~ K + ~ S ) ] 1 , 0 DIST
- 3. [ ( ~ K + ~ S ) . ( ~ K + L ) ] 2 , 0 COM
- 4. ( ~ K + ~ S ) 3 , 0 SIMP
TERCERO:/[(N.~O)>M]
- -1. [ ( ~ O . N ) > M ]
- 2. [ ( N . ~ O ) > M ] 1 , 0 COM
CUARTO: /[(~P+A)+~O]
- -1. [ ~ P + ( A + ~ O ) ]
- 2. [ ( ~ P + A ) + ~ O ] 1 , 0 ASSOC
QUINTO: /[~S.(T.R)]
- -1. [ R . ( T . ~ S ) ]
- 2. [ ( R . T ) . ~ S ] 1 , 0 ASSOC
- 3. ( R . T ) 2 , 0 SIMP
- 4. ( T . R ) 3 , 0 COM
- 5. [ ~ S . ( R . T ) ] 2 , 0 COM
- 6. ~ S 5 , 0 SIMP
- 7. [ ~ S . ( T . R ) ] 6 , 4 CONJ
SEXTO:/D
- -1. [ ( A + B ) > D ]
- -2. ( B + A )
- 3. ( A + B ) 2 , 0 COM
- 4. D 1 , 3 MP
SEPTIMO:/D
- -1. [ ~ ( A + B ) > D ]
- -2. ( ~ A . ~ B )
- 3. ~ ( A + B ) 2 , 0 DM
- 4. D 1 , 3 MP
OCTAVO:/~S
- -1. ~ ( ~ K . S )
- -2. ~ K
- 3. ( K + ~ S ) 1 , 0 DM
- 4. ~ S 3 , 2 DS
NOVENO:/D
- -1. [ A + ( B . C ) ]
- -2. [ ( A + B ) > D ]
- 3. [ ( A + B ) . ( A + C ) ] 1 , 0 DIST
- 4. ( A + B ) 3 , 0 SIMP
- 5. D 2 , 4 MP
DECIMO: /[(S+T)+(P.Q)]
- -1. [ ( P . Q ) + ( ~ ~ S + T ) ]
- 2. { [ ( P . Q ) + ~ ~ S ] + T } 1 , 0 ASSOC
- 3. { [ ( P . Q ) + S ] + T } 2 , 0 DN
- 4. [ ( P . Q ) + ( S + T ) ] 3 , 0 ASSOC
- 5. [ ( S + T ) + ( P . Q ) ] 4 , 0 COM
Principiantes