Propositional team logics