Dynamics of Amyloid Beta Protein Signaling under Complexity Reduction: A Mathematical Modeling and BooleSim Simulation Approach | Synapse