假设元素依值递增有序排列的线性表A和B分别表示两个集合（即同一表中的元素值各不相同），现要求另辟空间构成一个线性表C，其元素为A和B中元素的并集，且表C中的元素也依值递增有序排列。试对单链表编写求C的算法。

要设计一个求解这个问题的算法，我们可以采用合并排序的思想，同时遍历两个已排序的链表A和B。以下是具体的步骤：

1. 初始化三个指针：`p1`指向A链表的头结点，`p2`指向B链表的头结点，以及一个新的链表C的头结点`null`。

2. 当`p1`和`p2`都未到达链表末尾时，做如下操作：
a. 比较`p1`和`p2`所指节点的值，选择较小的一个插入到链表C，并将对应的指针向前移动一位（如果它们相等，则可以选择A或B的任意一个）。
b. 如果`p1`到了末尾，则将剩余的B链表节点依次添加到链表C。
c. 如果`p2`到了末尾，则将剩余的A链表节点依次添加到链表C。

3. 遍历完成后，链表C就是合并后的有序序列，即A和B的并集。

以下是该算法的伪代码：

function mergeSortedLists(A, B):
    head_C = null
    p1 = A.head
    p2 = B.head

    while p1 is not null and p2 is not null:
        if p1.value <= p2.value:
            append(p1.value, head_C)
            p1 = p1.next
        else:
            append(p2.value, head_C)
            p2 = p2.next

    # 添加剩下的链表节点
    while p1 is not null:
        append(p1.value, head_C)
        p1 = p1.next

    while p2 is not null:
        append(p2.value, head_C)
        p2 = p2.next

    return head_C