Set-like operations on propositional logic programs (ArXiv cs.LO Recent Papers, 2026)