propositional/lib/truthtable/generateTruthTable.d.ts

Propositional logic symbolic computation library

import * as AST from '../syntax/ast';
export type TruthTableOptions = {
    /** Whether the truth table should include sub-formulas in its output */
    includeIntermediateExpressions: boolean;
    /** Whether or not to use traditional, non-ascii symbols in the string for operators */
    pretty: boolean;
    /** Format for the output string (ascii-like text table or HTML `<table>`)*/
    format: 'text' | 'html';
};
export declare function generateTruthTable(expression: AST.Expression, options?: TruthTableOptions): string;