public final class NormalForms extends java.lang.Object
static java.util.List<java.util.Set<Formula>>
toCnf(Formula formula)
toDnf(Formula formula)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public static java.util.List<java.util.Set<Formula>> toCnf(Formula formula)
public static java.util.List<java.util.Set<Formula>> toDnf(Formula formula)