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