SOLUCIÓN EJERCICIOS CON BASE EN EL DILEMA
G+
(Nivel Principiantes+)
PRIMERO:/(R+~U)
- -1. ( ~ N > R )
- -2. ( S > ~ U )
- -3. ( ~ N + S )
- 4. [ ( ~ N > R ) . ( S > ~ U ) ] 1 , 2 CONJ
- 5. ( R + ~ U ) 3 , 4 CD
SEGUNDO:/(E+C)
- -1. [ ( D > C ) . ( D > C ) ]
- -2. [ ( C > E ) . ( F > D ) ]
- -3. ( C + D )
- 4. ( D > C ) 1 , 0 SIMP
- 5. ( C > E ) 2 , 0 SIMP
- 6. [ ( C > E ) . ( D > C ) ] 5 , 4 CONJ
- 7. ( E + C ) 3 , 6 CD
TERCERO:/(J+N)
- -1. [ ( S > I ) . ( T > J ) ]
- -2. [ ( ~ I . ~ M ) > ( S + T ) ]
- -3. [ ~ I . ( L > U ) ]
- -4. ( I + ~ M )
- 5. ~ I 3 , 0 SIMP
- 6. ~ M 4 , 5 DS
- 7. ( ~ I . ~ M ) 5 , 6 CONJ
- 8. ( S + T ) 2 , 7 MP
- 9. ( I + J ) 8 , 1 CD
- 10. J 9 , 5 DS
- 11. ( J + N ) 10 , 0 ADD
CUARTO: /(G+I)
- -1. [ ( Q + T ) > ( F > G ) ]
- -2. [ ( Q + U ) > ( H > I ) ]
- -3. [ ( Q + V ) > ( F + H ) ]
- -4. Q
- 5. ( Q + T ) 4 , 0 ADD
- 6. ( F > G ) 1 , 5 MP
- 7. ( Q + U ) 4 , 0 ADD
- 8. ( H > I ) 2 , 7 MP
- 9. ( Q + V ) 4 , 0 ADD
- 10. ( F + H ) 3 , 9 MP
- 11. [ ( F > G ) . ( H > I ) ] 6 , 8 CONJ
- 12. ( G + I ) 10 , 11 CD
QUINTO:/(C+D)
- -1. [ ( O > C ) . ( P > D ) ]
- -2. [ R > ( O + P ) ]
- -3. R
- 4. ( O + P ) 2 , 3 MP
- 5. ( C + D ) 4 , 1 CD
SEXTO:/(S+Q)
- -1. [ ( Q > S ) > ( N > Q ) ]
- -2. [ ( Q + N ) > ( Q > S ) ]
- -3. ( Q + N )
- 4. ( Q > S ) 2 , 3 MP
- 5. ( N > Q ) 1 , 4 MP
- 6. [ ( Q > S ) . ( N > Q ) ] 4 , 5 CONJ
- 7. ( S + Q ) 3 , 6 CD
SEPTIMO:/(S+G)
- -1. [ ~ I > ( ~ U > S ) ]
- -2. [ I + ( F > G ) ]
- -3. ( ~ U + F )
- -4. ( ~ I . E )
- 5. ~ I 4 , 0 SIMP
- 6. ( ~ U > S ) 1 , 5 MP
- 7. ( F > G ) 2 , 5 DS
- 8. [ ( ~ U > S ) . ( F > G ) ] 6 , 7 CONJ
- 9. ( S + G ) 3 , 8 CD
OCTAVO:/(~D+H)
- -1. [ ( N + O ) > ( G > H ) ]
- -2. ( E > ~ D )
- -3. ( ~ D > C )
- -4. ( N . G )
- 5. ( E + G )
- 6. N 4 , 0 SIMP
- 7. ( N + O ) 6 , 0 ADD
- 8. ( G > H ) 1 , 7 MP
- 9. [ ( E > ~ D ) . ( G > H ) ] 2 , 8 CONJ
- 10. ( ~ D + H ) 5 , 9 CD
NOVENO:/H
- -1. { ( ~ L . ~ O ) > [ ( ~ Q > L ) . ( ~ S > H ) ] }
- -2. ( L > O )
- -3. ( ~ O . C )
- -4. ( ~ Q + ~ S )
- 5. ~ O 3 , 0 SIMP
- 6. ~ L 2 , 5 MT
- 7. ( ~ L . ~ O ) 6 , 5 CONJ
- 8. [ ( ~ Q > L ) . ( ~ S > H ) ] 1 , 7 MP
- 9. ( L + H ) 4 , 8 CD
- 10. H 9 , 6 DS
DECIMO:/(F+G)
- -1. [ ( ~ B + E ) > ( C > G ) ]
- -2. [ ( C + D ) > ( B > F ) ]
- -3. ( B + C )
- -4. ~ B
- 5. ( ~ B + E ) 4 , 0 ADD
- 6. ( C > G ) 1 , 5 MP
- 7. C 3 , 4 DS
- 8. ( C + D ) 7 , 0 ADD
- 9. ( B > F ) 2 , 8 MP
- 10. [ ( B > F ) . ( C > G ) ] 9 , 6 CONJ
- 11. ( F + G ) 3 , 10 CD
Principiantes+