PRIMERO:/O

1. ( G > O )
2. G

1. ( B > F )
2. ~ F

1. ( C > K )
2. ( K > S )

1. [ M > ~ ( T = S ) ]
2. ( T = S )

1. [ W > ~ ( X . Z ) ]
2. [ ( L > ~ E ) > W ]

1. ( R + W )
2. [ ( R + W ) > L ]

1. [ ( P + O ) > ( M > N ) ]
2. ~ ( M > N )

1. { ~ ( A > C ) > [ ( ~ P . Q ) + K ] }
2. [ ~ Z > ~ ( A > C ) ]

1. { ( B = C ) > ~ [ ~ ( Z = X ) . W ] }
2. [ ~ ( Z = X ) . W ]

1. { [ A = ( B + O ) ] > [ N + ( C = T ) ] }
2. { [ ( K = W ) + J ] > [ A = ( B + O ) ] }

PRIMERO: /~Q

• -1. ~ P
• -2. [ ~ P > ( Q > P ) ]

• -1. ( B > ~ C )
• -2. ( ~ C > K )
• -3. B

• -1. ( ~ Z > K )
• -2. ( W > ~ Z )
• -3. ~ K

• -1. [ ( A = ~ R ) > ( C > E ) ]
• -2. ~ E
• -3. ( A = ~ R )

• -1. { V > [ W > ( Q > ~ S ) ] }
• -2. ~ ( Q > ~ S )
• -3. V

• -1. { Z > [ ( E . ~ D ) > S ] }
• -2. ( D > Z )
• -3. D

• -1. [ ( E . F ) > ( G = J ) ]
• -2. ~ ( G = J )
• -3. [ ( H + T ) > ( E . F ) ]

• -1. { [ ( G > ~ E ) > ( K = L ) ] > ( O + P ) }
• -2. ~ [ ( C + F ) > ( N + P ) ]
• -3. { ( O + P ) > [ ( C + F ) > ( N + P ) ] }

• -1. [ ( ~ O > P ) > ( E = ~ F ) ]
• -2. [ ( E = ~ F ) > V ]
• -3. ~ V

• -1. { ~ T > [ ~ Z > ( W = X ) ] }
• -2. ~ Z
• -3. ~ T

PRIMERO: /~D

• -1. { I > [ ~ F > ( D > ~ E ) ] }
• -2. ( ~ F > I )
• -3. ~ F
• -4. ( ~ E > F )

• -1. [ ~ T > ( ~ E > L ) ]
• -2. ( T > E )
• -3. ~ E

• -1. ( ~ B > O )
• -2. ( X > P )
• -3. ( P > ~ B )
• -4. ~ O

• -1. [ ( ~ S > P ) > ( W > ~ X ) ]
• -2. ( ~ S > W )
• -3. ( W > P )

• -1. ( R > T )
• -2. ( T > L )
• -3. { ~ C > [ ( R > T ) > ( F = E ) ] }
• -4. [ ( R > L ) > ~ C ]

• -1. [ ~ B > ( C > ~ D ) ]
• -2. [ ~ E > ( ~ D > B ) ]
• -3. ( ~ E > ~ B )
• -4. ~ E

• -1. ( H > G )
• -2. ( R > H )
• -3. [ ( R > G ) > ( S > R ) ]
• -4. { ( S > G ) > [ ( S > H ) > ( T > R ) ] }

• -1. ( ~ S > C )
• -2. { ~ B > [ ~ B > ( S > Q ) ] }
• -3. [ ( ~ S > C ) > ~ Q ]
• -4. { ~ Q > [ ~ Q > ( B > Q ) ] }

• -1. [ ~ B > ( C > ~ D ) ]
• -2. [ ~ E > ( ~ D > B ) ]
• -3. ( ~ E > ~ B )
• -4. ~ E

• -1. ( ~ T > M )
• -2. { ~ H > [ ~ H > ( T > H ) ] }
• -3. [ ( ~ T > M ) > ~ H ]