“Management of conjunctive normal forms of information technology”