def convert_cnf(t):
    """Convert a term to CNF form (as a list of lists of literals)."""
    def convert_literal(lit):
        if lit.is_not():
            return (lit.arg.name, False)
        else:
            return (lit.name, True)
        
    def convert_clause(clause):
        return [convert_literal(lit) for lit in clause.strip_disj()]

    return [convert_clause(clause) for clause in t.strip_conj()]