chop-logic-core/lib/propositional/evaluators/get-binary-operation-value.d.ts

Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.

import { Operator } from "../../enums";
/**
 * Evaluates the logical value of a binary operation given two boolean operands.
 *
 * @param {Object} params - Function parameters.
 * @param params.operator - The logical operator to apply.
 * @param params.leftOperand - The boolean value of the left operand.
 * @param params.rightOperand - The boolean value of the right operand.
 * @returns The result of applying the operator to the operands.
 * @throws {Error} If the operator is not a binary operator.
 * @category Evaluators
 */
export declare function getBinaryOperationValue({ operator, leftOperand, rightOperand, }: {
    operator: Operator;
    leftOperand: boolean;
    rightOperand: boolean;
}): boolean;