1. Computing Full Disjunctions Yaron Kanza Yehoshua Sagiv The Selim and Rachel Benin School of Engineeringand Computer ScienceThe Hebrew University of Jerusalem 2. A Formal…