problemdenierdemo.java

来自「Java版的SAT求解器」· Java 代码 · 共 24 行

package positronic.satisfiability.demos;

import positronic.satisfiability.elements.*;

public class ProblemDenierDemo
{
  public static void main(String[] args) throws Exception
  { 
    IBooleanVariable x_1=BooleanVariable.getBooleanVariable("x_1");
    IBooleanVariable x_2=BooleanVariable.getBooleanVariable("x_2");
    IBooleanVariable x_3=BooleanVariable.getBooleanVariable("x_3");
    IBooleanVariable x_4=BooleanVariable.getBooleanVariable("x_4");

    IProblem ip=new Problem(new IClause[]{
    		new Clause().or(x_1).orNot(x_2).or(x_3),
    		new Clause().orNot(x_2).orNot(x_3).or(x_4),
    		new Clause().or(x_1).orNot(x_3)}
    );

    System.out.println("The given IProblem was \n"+ip+".");
    System.out.println("The denial of this IProblem is the following Problem:");
    System.out.println(new ProblemDenier(ip));
  }
}