Rime libere corrispondenti per propositional function