implicants

not defined yet