ASP Slovers

1.寻找命题公式模型

F = (X_{1 V} X₂) ∩ ¬X₂

通过遍历变量值的所有可能值的树，找到一条满足条件的路径。

2.术语

子句：{l₁,...,l_n}表示析取 l₁ v ... v l_n

公式：{C₁ ,..., C_m}表示合取C₁ ∩ ... ∩ C_n

2.计算回答集

转载于:https://www.cnblogs.com/zhaokaikai/archive/2012/09/06/2674153.html