Rime libere corrispondenti per truth function