Cet article examine l'effacité de plusieurs représen-tations des formules subjectives de la logique modale de la connaissance, S5, et plus généralement des ensembles d'ensembles d'instanciations propositionnelles. L'une des motivations de ce travail est la planification contingente, pour laquelle de nombreuses approches s'appuient sur de telles formules, et pourraient manifestement tirer parti de représentations efficaces. Nous etudions le langage S5-DNF introduit par Bienvenu et al., ainsi qu'une va-riante naturelle de ce langage, qui utilise des diagrammes de décision binaires au niveau propositionnel. Nous intro-duisons de plus un autre langage, celui des diagrammes epistémiques partitionnants , qui fournit des représen-tations plus compactes. Les trois langages sont comparés d'un point de vue théorique , dans le cadre de la compilation de connaissances, et d'un point de vue expérimen-tal. Cetté etudé eclaire les avantages et inconvénients de chaque représentation en théorie comme en pratique.