This paper presents a novel algebra of logic that generalizes the traditional Boolean algebra for partial (incompletely specified) variables and functions and is efficiently used to solve a lot of theoretical and practical optimization problems. Based on the logic, novel operations (including a very useful minimization operation), laws, and expansions are introduced. The logic allows generaliza...