aima.core.logic.propositional.visitors.DistributeAndOverOr Maven / Gradle / Ivy
package aima.core.logic.propositional.visitors;
import aima.core.logic.propositional.parsing.AbstractPLVisitor;
import aima.core.logic.propositional.parsing.ast.ComplexSentence;
import aima.core.logic.propositional.parsing.ast.Connective;
import aima.core.logic.propositional.parsing.ast.Sentence;
/**
* Artificial Intelligence A Modern Approach (3rd Edition): page 249.
*
* Distributivity of & over |:
* (α & (β | γ))
* ≡
* ((α & β) | (α & γ))
*
* @author Ciaran O'Reilly
*
*/
public class DistributeAndOverOr extends AbstractPLVisitor