Splitting with Polarities (Propositional Logic)

Definition