(S2 || S1 && S2)
macht keinen Sinn, denn es ist aussagenlogisch nichts anderes als S2 alleine, egal wie S1 ist.
Das gleiche gilt für
(S5 || S1 && S5),
denn das ist nichts anderes als S5 alleine.

Ich vermute daher, dass der gesamte MATLAB code auf noch zu wackeligen Beinen steht und erst einmal neu geschrieben werden müsste.