aima.core.logic.propositional.visitors

Class ConvertToCNF

java.lang.Object

aima.core.logic.propositional.visitors.ConvertToCNF

public class ConvertToCNF
extends java.lang.Object

Convert a Sentence into an equivalent Conjunctive Normal Form (CNF) Sentence. A Sentence is in CNF if it is a conjunction of disjunction of literals.

Author:

Ciaran O'Reilly

Constructor Summary

Constructors

Constructor and Description
ConvertToCNF()

Method Summary

Modifier and Type	Method and Description
static Sentence	convert(Sentence s) Returns the specified sentence in its logically equivalent conjunctive normal form.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConvertToCNF

public ConvertToCNF()

Method Detail

convert

public static Sentence convert(Sentence s)

Returns the specified sentence in its logically equivalent conjunctive normal form.

Parameters:

s - a propositional logic sentence

Returns:

the input sentence converted to it logically equivalent conjunctive normal form.