SOLUCIÓN EJERCICIOS CON BASE EN LEYES MORGAN
G+
(Nivel Principiantes++)
PRIMERO:/~(N.P)
- -1. ( M > ~ N )
- -2. ( O > ~ P )
- -3. ~ ( ~ M . ~ O )
- 4. ( M + O ) 3 , 0 DM
- 5. [ ( M > ~ N ) . ( O > ~ P ) ] 1 , 2 CONJ
- 6. ( ~ N + ~ P ) 4 , 5 CD
- 7. ~ ( N . P ) 6 , 0 DM
SEGUNDO:/~(M+Q)
- -1. ~ ( M + N )
- -2. [ ~ N > ( M + O ) ]
- 3. [ ( P + O ) > ~ Q ]
- 4. ( ~ M . ~ N ) 1 , 0 DM
- 5. ( ~ N . ~ M ) 4 , 0 COM
- 6. ~ N 5 , 0 SIMP
- 7. ( M + O ) 2 , 6 MP
- 8. ~ M 4 , 0 SIMP
- 9. ( ~ M + Q ) 8 , 0 ADD
TERCERO:/~(P.Q)
- -1. [ M + ( N . ~ O ) ]
- -2. ( M > ~ P )
- -3. ( ~ O > ~ Q )
- 4. [ ( M + N ) . ( M + ~ O ) ] 1 , 0 DIST
- 5. [ ( M + ~ O ) . ( M + N ) ] 4 , 0 COM
- 6. ( M + ~ O ) 5 , 0 SIMP
- 7. [ ( M > ~ P ) . ( ~ O > ~ Q ) ] 2 , 3 CONJ
- 8. ( ~ P + ~ Q ) 6 , 7 CD
- 9. ~ ( P . Q ) 8 , 0 DM
CUARTO: /(R+S)
- -1. [ M + ( N . O ) ]
- -2. [ ( M + N ) > ~ ( Q . R ) ]
- -3. [ ( ~ Q > R ) . ( ~ R > S ) ]
- 4. [ ( M + N ) . ( M + O ) ] 1 , 0 DIST
- 5. ( M + N ) 4 , 0 SIMP
- 6. ~ ( Q . R ) 2 , 5 MP
- 7. ( ~ Q + ~ R ) 6 , 0 DM
- 8. ( R + S ) 7 , 3 CD
QUINTO:/(M+P)
- -1. [ M + ( N . O ) ]
- -2. ( M > ~ N )
- 3. ( N > ~ O )
- 4. [ ( M + N ) . ( M + O ) ] 1 , 0 DIST
- 5. ( M + N ) 4 , 0 SIMP
- 6. [ ( M > ~ N ) . ( N > ~ O ) ] 2 , 3 CONJ
- 7. ( ~ N + ~ O ) 5 , 6 CD
- 8. ( ~ O + ~ N ) 7 , 0 COM
- 9. [ ( M + O ) . ( M + N ) ] 4 , 0 COM
- 10. [ M + ( O . N ) ] 9 , 0 DIST
- 11. ~ ( O . N ) 8 , 0 DM
- 12. M 10 , 11 DS
- 13. ( M + P ) 12 , 0 ADD
SEXTO: /(O>S)
- -1. [ ( ~ M + N ) > ( O > P ) ]
- -2. [ ( ~ R + N ) > ( P > S ) ]
- -3. ~ ( M + R )
- 4. ( ~ M . ~ R ) 3 , 0 DM
- 5. ~ M 4 , 0 SIMP
- 6. ( ~ M + N ) 5 , 0 ADD
- 7. ( O > P ) 1 , 6 MP
- 8. ( ~ R . ~ M ) 4 , 0 COM
- 9. ~ R 8 , 0 SIMP
- 10. ( ~ R + N ) 9 , 0 ADD
- 11. ( P > S ) 2 , 10 MP
- 12. ( O > S ) 7 , 11 HS
SEPTIMO: /~(Q+P)
- -1. [ ( ~ M + N ) > ~ ( O . P ) ]
- -2. [( O . M ) > Q ]
- -3. ( O . ~ Q )
- 4. ( ~ Q . O ) 3 , 0 COM
- 5. ~ Q 4 , 0 SIMP
- 6. ~ ( O . M ) 2 , 5 MT
- 7. ( ~ O + ~ M ) 6 , 0 DM
- 8. O 3 , 0 SIMP
- 9. ~ M 7 , 8 DS
- 10. ( ~ M + N ) 9 , 0 ADD
- 11. ~ ( O . P ) 1 , 10 MP
- 12. ( ~ O + ~ P ) 11 , 0 DM
- 13. ~ P 12 , 8 DS
- 14. ( ~ P . ~ Q ) 13 , 5 CONJ
- 15. ( ~ Q . ~ P ) 14 , 0 COM
- 16. ~ ( Q + P ) 15 , 0 DM
OCTAVO: /~(M+P)
- -1. ~ ( M . N )
- -2. ~ ( P . O )
- -3. ~ ( ~ N + ~ O )
- 4. ( N . O ) 3 , 0 DM
- 5. N 4 , 0 SIMP
- 6. ( ~ P + ~ O ) 2 , 0 DM
- 7. ( ~ M + ~ N ) 1 , 0 DM
- 8. ~ M 7 , 5 DS
- 9. ( O . N ) 4 , 0 COM
- 10. O 9 , 0 SIMP
- 11. ~ P 6 , 10 DS
- 12. ( ~ P . ~ M ) 11 , 8 CONJ
- 13. ( ~ M . ~ P ) 12 , 0 COM
- 14. ~ ( M + P ) 13 , 0 DM
NOVENO: /O
- -1. [ ~ M > ( N . O ) ]
- -2. [ ~ P > ( O . Q ) ]
- -3. ~ ( M . P )
- 4. ( ~ M + ~ P ) 3 , 0 DM
- 5. { [ ~ M > ( N . O ) ] . [ ~ P > ( O . Q ) ] } 1 , 2 CONJ
- 6. [ ( N . O ) + ( O . Q ) ] 4 , 5 CD
- 7. [ ( O . N ) + ( O . Q ) ] 6 , 0 COM
- 8. [ O . ( N + Q ) ] 7 , 0 DIST
- 9. O 8 , 0 SIMP
DECIMO: /N
- -1. [ ( M . N ) + ( O . P ) ]
- -2. [ ( N + O ) > ~ P ]
- 3. [ ( N . M ) + ( O . P ) ] 1 , 0 COM
- 4. [ ( N . M ) + ( P . O ) ] 3 , 0 COM
- 5. { [ ( N . M ) + P ] . [ ( N . M ) + O ] } 4 , 0 DIST
- 6. [ ( N . M ) + P ] 5 , 0 SIMP
- 7. { [ ( M . N ) + O ] . [ ( M . N ) + P ] } 1 , 0 DIST
- 8. [ ( M . N ) + O ] 7 , 0 SIMP
- 9. [ O + ( M . N ) ] 8 , 0 COM
- 10. [ ( O + M ) . ( O + N ) ] 9 , 0 DIST
- 11. [ ( O + N ) . ( O + M ) ] 10 , 0 COM
- 12. ( O + N ) 11 , 0 SIMP
- 13. ( N + O ) 12 , 0 COM
- 14. ~ P 2 , 13 MP
- 15. ( N . M ) 6 , 14 DS
- 16. N 15 , 0 SIMP
Principiantes++