史上最Geek的桌游：ERGO

    我先认错，这实在有些标题党了；不过看完游戏规则介绍，我的第一感受确实是这样——这无疑是最适合数学 Geek 的卡牌游戏。在游戏中，玩家们需要轮流出牌，在置牌区中构造出有利于自己的逻辑表达式，证明自己的存在。哈哈，听上去很有意思吧！让我先来详细说说游戏规则。

    ERGO 是 2009 年 Catalyst Game Labs 出品的一款桌游。游戏共有 55 张牌，包括：

      变量牌 16 张，其中 A 、 B 、 C 、 D 各 4 张
      符号牌 20 张，其中 AND 、 OR 、 THEN 各 4 张， NOT 牌 8 张
      括号牌 6 张，其中左右括号各 3 张
      白板牌 1 张
      回转牌 1 张
      谬误牌 3 张
      辩解牌 3 张
      万能牌 2 张，其中变量万能牌和符号万能牌各 1 张
      ERGO 牌 3 张

    这个游戏需要 2 到 4 个人来玩。游戏开始前，给每个人各分配 A 、 B 、 C 、 D 中的一个字母。然后洗牌，每人摸起五张牌作为手牌，游戏便正式开始。
    玩家按顺时针方向轮流行动。轮到某个玩家行动时，该玩家需要摸起两张牌，然后打出两张牌。如果没有可以打的牌，或者不想出牌的话，要弃掉相应数量的牌，总之要保证最后手牌还是五张。

    只有变量牌、符号牌和括号牌才能放进置牌区，这些牌一个挨着一个摆放，构成若干行合法的逻辑表达式。在任意时刻，桌面上最多有四行逻辑表达式（也就是四个前提）。玩家的目的就是尽可能让桌面上的这些前提能够证明自己为真，其他人为假。最常规的出牌方式，就是给桌面上的逻辑表达式添砖加瓦。你可以插入一张符号牌和一张变量牌，或者插入一个 NOT ，或者插入一对括号，等等。总之，当你出完牌后，置牌区中的逻辑表达式必须仍然合法，不能出现变量牌相邻、符号牌相邻、括号不匹配之类的情形。如果桌面上的逻辑表达式不到四行，你可以另起一行。
    有几点需要注意。一个是优先级的问题：在 ERGO 中， NOT 的优先级最高，其次是 THEN ，再次是 OR ，最后是 AND 。另外， NOT 不能连用。 ~ ~ A 只能写成 ~ ( ~ A ) 。

    玩家可以打出白板牌（Tabula Rasa，中译作“白板”，哲学名词，表示人的个体生来没有内在的或者与生俱来的心智），然后从任意一个逻辑表达式中删掉一张牌。通常删掉一张牌后，逻辑表达式都不再合法了，因此通常你还得再出一张牌补上。白板牌只能用一次，用完即弃。
    玩家还可以打出回转牌（Revolution），然后从置牌区中任意选择两张同种类型的牌（变量牌或者符号牌，可以来自不同的表达式），交换他们的位置。回转牌只能用一次，用完即弃。
    这两种牌的威力特别大，很可能给整个局势带来 360 度大转变。不过，好在这两种牌各只有 1 张。

    还有两种比较特殊的牌，谬误牌（Fallacy）和辩解牌（Justification）。对某个玩家使用谬误牌后，目标玩家在接下来的三回合内禁止在置牌区内放牌（但仍然可以摸牌弃牌、对其他人用谬误牌等等）。实际游戏过程中，玩家可以每次把自己面前的谬误牌旋转 90 度，表示已经被禁一轮；谬误牌转了一周后，玩家就恢复了全部的行动能力。玩家可以对自己用一张辩解牌，提前解掉谬误牌。这里还有一个小规定：不能对已经出过辩解牌的玩家再次使用谬误牌。

    卡牌中还有两张万能牌，一张牌的四个角上分别写有 A 、 B 、 C 、 D ，一张牌的四个角则分别是 AND 、 OR 、 THEN 和 NOT。出牌时，把牌旋转到对应的位置，插入到逻辑表达式中，代替对应的变量牌或者符号牌。万能牌也可以用作辩解牌和马上将说到的 ERGO 牌。

    最后就是 ERGO 牌了。ergo 是拉丁语 therefore 的意思，相当于证明里面的“所以说”。出示 ERGO 牌就表明“证毕”，然后开始统计得分。对于每一个被证明为真的变量，置牌区有多少张牌，就奖励对应玩家多少分。如果逻辑表达式中出现矛盾，则谁也不得分。
    有两点需要注意。首先，只有置牌区中每种字母都出现了时，才能出示 ERGO 牌。另外，如果牌已经摸完了，即使没有人出 ERGO 牌，游戏也自动进入“证毕统分”的阶段。

    游戏结束后洗牌重玩。第一个得到 50 分的人获胜。

    下面是一个游戏实例。 A 、 B 、 C 三位玩家游戏，初始时每人五张手牌。 A 摸起两张手牌，打出一张 A ，弃掉一张：

A

    B 摸起两张牌，打出 OR 和 B ：

A ∨ B

    C 摸起两张牌，打出 NOT 和 B：

A ∨ B
~ B

    A 摸起两张牌，打出 NOT 和 C：

A ∨ B
~ B
~ C

    B 摸起两张牌，打出 THEN 和 C ：

A ∨ B
~ B → C
~ C

    C 摸起两张牌，打出一对括号牌：

A ∨ B
~ B → C
( ~ C )

    A 摸起两张牌，给 B 一张谬误牌，然后弃掉一张。 B 摸起两张牌，因为无法出牌，弃掉两张。 C 摸起两张牌，出了一张 NOT 和一张 D：

A ∨ B
~ B → C
~ ( ~ C )
D

    注意，此时已经有四行表达式，不能再另起一行了，只能往已有表达式里添加元素。并且，所有字母都已经打出，游戏随时可以结束。
    接下来又轮到 A 了。 A 摸起两张牌，使用一张白板删掉了第二行中的 THEN ，然后放了一张 AND ：

A ∨ B
~ B ∧ C
~ ( ~ C )
D

    B 继续摸牌弃牌；C 觉得这个结局能够接受，便打出了 ERGO 牌。此时，只有 A 、 C 、 D 被证明了，因而 A 和 C 各得 12 分。

    这个游戏算是相当有创意了。不过，真要玩起来会是什么样子呢？我在网上大致看了看，反馈情况并不好。除了游戏本身的平衡性有待加强以外，官方的规则说明本身竟也含混不清漏洞百出。看来，生产商似乎并没有想要认真发展这个如此具有潜力的游戏。期待各路桌游高人能够沿着这个思路继续想下去，设计一款真正又强大又好玩的数理逻辑桌游吧。

 
  购买、评价、讨论等信息： BoardGameGeek
  漏洞百出的官方游戏说明： http://catalystgamelabs.com/pdfs/Ergo_Rules_LO.pdf
  如果你喜欢这个，不妨看看 Eleusis Express：非常有创意的多人纸牌游戏