This paper presenls novel theoretical results obtained in the field of partial logie. New operations (including a very useful minimization operation), laws, and expansions are introduced. Traditional Boolean function representation forms for the completely specified functions are generalized for the ...