12.两个乒乓球队进行比赛，各出3人。甲队为a、b、c3人，乙队为x、 y、23人。已抽签决定比赛名单。有人向队员打听比赛的名单。a说他不和x 比，c说他不和x，z 比。请编写程序找出3队赛手的名单。

这是一个经典的逻辑推理问题，可以使用编程解决。我们可以逐步分析每个人的比赛对手，基于他们给出的信息。首先，我们知道a不会和x比，所以a会和y或者23中的一个比。同理，c也不会和x比，那么c要么和a比，要么和23比，但不可能和z比，因为如果c和z比，那a就必须和x比，这与a的说法相矛盾。

我们用Python编写一个简单的程序：

# 定义选手列表
players = ['a', 'b', 'c', 'x', 'y', '23']

# a不和x比
if 'a' in players and 'x' in players:
    players.remove('x')  # a只能和剩下的选手比

# c不和x比，也不和z比
if 'c' in players and 'x' in players and 'z' not in players:
    players.remove('x')  # 同理，c也不能和x比

# 现在确定了a和c的比赛对手，假设a和y比（因为y还在）
if 'a' in players and 'y' in players:
    match_a_c = ('a', 'y')  # a对y
else:  # 如果a对23
    match_a_c = ('a', '23')

match_b_x = ('b', 'x') if 'b' in players and 'x' in players else ('b', 'y')  # b对剩余的一个
match_z_23 = ('z', '23') if 'z' in players and '23' in players else ('z', 'y')  # z对剩余的一个

print("比赛名单：")
print(f"{match_a_c[0]} vs {match_a_c[1]}")
print(f"{match_b_x[0]} vs {match_b_x[1]}")
print(f"{match_z_23[0]} vs {match_z_23[1]}")

运行这个程序后，它会输出每个队伍的参赛者。注意，由于信息限制，可能存在多种情况，实际的答案取决于是否满足所有条件。