Rime libere corrispondenti per propositional variable