chop-logic-core/lib/propositional/evaluators/get-unary-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";
/**
 * Computes the logical value of an unary operator applied to an operand.
 *
 * @param {Object} params - Function parameters.
 * @param params.operator - The unary operator to evaluate.
 * @param params.operand - The boolean value of the operand.
 * @returns The computed boolean value after applying the unary operator.
 * @throws {Error} If an unsupported operator is provided.
 * @category Evaluators
 */
export declare function getUnaryOperationValue({ operator, operand, }: {
    operator: Operator;
    operand: boolean;
}): boolean;