Minimalization of Boolean polynomials, truth functions, and lattices

Mitchell O. Locks. Minimalization of Boolean polynomials, truth functions, and lattices. Notre Dame Journal of Formal Logic, 19(2):264-270, 1978. [doi]

Abstract

Abstract is missing.