Connects the given sigma propositions into CAND proposition performing partial evaluation when some of them are trivial propositioins.
Connects the given sigma propositions into CAND proposition performing partial evaluation when some of them are trivial propositioins.
propositions to combine into CAND
CAND, TrueProp, FalseProp or even one of the items depending on partial evaluation