SOLUCIÓN EJERCICIOS CON BASE EN LEYES MORGAN G+
(Nivel Principiantes+)
PRIMERO:/~(C.P)
- -1. ~ C
- 2. ( ~ C + ~ P ) 1 , 0 ADD
- 3. ~ ( C . P ) 2 , 0 DM
SEGUNDO: /[~F+(B.E)]
- -1. ( B + ~ F )
- 2. ( E + ~ F )
- 3. ( ~ F + E ) 2 , 0 COM
- 4. ( ~ F + B ) 1 , 0 COM
- 5. [ ( ~ F + B ) . ( ~ F + E ) ] 4 , 3 CONJ
- 6. [ ~ F + ( B . E ) ] 5 , 0 DIST
TERCERO: /~(~A.B)
- -1. [ A + ( ~ B . C ) ]
- 2. [ ( A + ~ B ) . ( A + C ) ] 1 , 0 DIST
- 3. ( A + ~ B ) 2 , 0 SIMP
- 4. ~ ( ~ A . B ) 3 , 0 DM
CUARTO:/[A+(B.C)]
- -1. ~ ( ~ A . ~ B )
- -2. ~ ( ~ A . ~ C )
- 3. ( A + C ) 2 , 0 DM
- 4. ( A + B ) 1 , 0 DM
- 5. [ ( A + B ) . ( A + C ) ] 4 , 3 CONJ
- 6. [ A + ( B . C ) ] 5 , 0 DIST
QUINTO:/(P.N)
- -1. [ ( P . Q ) + ( P . R ) ]
- -2. [ P > ( T . N ) ]
- 3. [ P . ( Q + R ) ] 1 , 0 DIST
- 4. P 3 , 0 SIMP
- 5. ( T . N ) 2 , 4 MP
- 6. ( N . T ) 5 , 0 COM
- 7. N 6 , 0 SIMP
- 8. ( P . N ) 4 , 7 CONJ
SEXTO:/~(B+D)
- -1. [ ( A + B ) + C ]
- -2. [ ( A + C ) > ~ D ]
- -3. ~ B
- 4. [ A + ( B + C ) ] 1 , 0 ASSOC
- 5. [ ( B + C ) + A ] 4 , 0 COM
- 6. [ B + ( C + A ) ] 5 , 0 ASSOC
- 7. ( C + A ) 6 , 3 DS
- 8. ( A + C ) 7 , 0 COM
- 9. ~ D 2 , 8 MP
- 10. ( ~ D . ~ B ) 9 , 3 CONJ
- 11. ( ~ B . ~ D ) 10 , 0 COM
- 12. ~ ( B + D ) 11 , 0 DM
SEPTIMO:/(B+D)
- -1. [ ( A > B ) . ( C > D ) ]
- -2. ~ ( ~ A . ~ C )
- 3. ( A + C ) 2 , 0 DM
- 4. ( B + D ) 3 , 1 CD
OCTAVO:/(~D.~A)
- -1. ~ ( A + B )
- -2. ( C > B )
- -3. ( D > C )
- 4. ( ~ A . ~ B ) 1 , 0 DM
- 5. ~ A 4 , 0 SIMP
- 6. ( ~ B . ~ A ) 4 , 0 COM
- 7. ~ B 6 , 0 SIMP
- 8. ~ C 2 , 7 MT
- 9. ~ D 3 , 8 MT
- 10. ( ~ D . ~ A ) 9 , 5 CONJ
NOVENO:/Q
- -1. [ ( L . M ) + ( N . L ) ]
- -2. [ L > ( Z . Q ) ]
- 3. { [ ( L . M ) + N ] . [ ( L . M ) + L ] } 1 , 0 DIST
- 4. { [ ( L . M ) + L ] . [ ( L . M ) + N ] } 3 , 0 COM
- 5. [ ( L . M ) + L ] 4 , 0 SIMP
- 6. [ L + ( L . M ) ] 5 , 0 COM
- 7. [ ( L + L ) . ( L + M ) ] 6 , 0 DIST
- 8. ( L + L ) 7 , 0 SIMP
- 9. { [ L > ( Z . Q ) ] . [ L > ( Z . Q ) ] } 2 , 2 CONJ
- 10. [ ( Z . Q ) + ( Z . Q ) ] 8 , 9 CD
- 11. [ ( Q . Z ) + ( Z . Q ) ] 10 , 0 COM
- 12. [ ( Q . Z ) + ( Q . Z ) ] 11 , 0 COM
- 13. [ Q . ( Z + Z ) ] 12 , 0 DIST
- 14. Q 13 , 0 SIMP
DECIMO:/K
- -1. [ ( I . H ) + ( F . K ) ]
- -2. ~ H
- 3. [ ( H . I ) + ( F . K ) ] 1 , 0 COM
- 4. [ ( H . I ) + ( K . F ) ] 3 , 0 COM
- 5. { [ ( H . I ) + K ] . [ ( H . I ) + F ] } 4 , 0 DIST
- 6. [ ( H . I ) + K ] 5 , 0 SIMP
- 7. [ K + ( H . I ) ] 6 , 0 COM
- 8. [ ( K + H ) . ( K + I ) ] 7 , 0 DIST
- 9. ( K + H ) 8 , 0 SIMP
- 10. K 9 , 2 DS
Principiantes+