Avalie as seguintes expressões lógicas e determine qual das alternativas está correta:

\( (S1) \overline {A+ \bar {B} . C} = \bar {A} . (B + \bar {C}) \)

\( (S2) A \bar {B} C + \bar {A} \bar {B} \bar {C} = \bar {B} (AC + \bar {A} \bar {C} ) \)

\( (S3) \overline {(A+BC) . (D+EF)} = \bar {A} \bar {B} + \bar {A} \bar {C} + \bar {D} \bar {E} + \bar {D} \bar {F} \)

\( (S4) \overline {(A \bar {B} +C) } = \bar {A} \bar {C} + B \bar {C} \)