Rime libere corrispondenti per truth variable