编写一个计算机程序，用于计算给定公式的主析取范式。（提示：自己确定联结词如何输入和输出） 要求： 1、提交源码或者可执行程序； 2、给出以下输入公式的主析取范式输出截图； （1）pq→r，(2)(pq)→r,(3)¬pq∧p→qJava

在Java中，我们可以使用公式转换算法（如DPLL算法或Resolution）来求解命题逻辑的主析取范式（CNF）。不过，由于这个平台无法直接运行代码并提供屏幕截图，我会向你展示一个简单的示例函数，并解释如何手动计算这些例子。

首先，我们需要创建一个类来表示命题和操作：

public class Formula {
    private String[] clauses;

    public Formula(String[] clauses) {
        this.clauses = clauses;
    }

    // 其他辅助方法...
}

然后我们可以添加一个方法来转换到CNF形式：

public static Formula toCNF(Formula formula) {
    // 使用合适的逻辑运算符解析和转换
    // ...省略具体的转换步骤...
    return convertedFormula;
}

// 示例转换函数（简化版）
public static Formula pqToCNF(String input) {
    String[] clause1 = {"~p", "q"};
    String[] clause2 = {"~(p & q)", "~r"};
    return new Formula(Arrays.asList(clause1, clause2));
}

对于提供的例子：
1. `pq → r` 的 CNF 对应于 `~(p & q) ∨ r`
2. `(pq) → r` 的 CNF 对应于 `~((p & q)) ∨ r` 或者简化为 `~p ∨ ~q ∨ r` 和 `p ∨ ~q ∨ r`
3. `¬pq ∧ p → q` 的 CNF 需要先将否定移至每个原子命题前，然后应用分配律得到 `~p ∨ ~q ∨ q` 和 `p ∨ ~q`

如果你需要手动计算，可以按照上述过程逐步展开，或者查找更详细的逻辑代数教程。请注意，在实际应用中，可能需要用到专门的库，如JCC或CLIPS等，来进行自动化转换。