propositional/lib/cnf/cnfExpression.d.ts

Propositional logic symbolic computation library

import { Formula } from "..";
import * as AST from '../syntax/ast';
export declare class CNFFormula extends Formula {
    cnf(): this;
    simplify(): this;
    /**
     * Run the DPLL algorithm on the formula to check for a set of conditions that will satisfy the formula.
     * @returns A set of conditions for which the formula will evaluate to true - In the same format as is required for `evaluate`.
     */
    dpll(): {
        [key: string]: boolean;
    };
}
export declare function toCNF(expression: AST.Expression): CNFFormula;