import type { IPrimitiveDefinition } from './mccarthy';
/**
 * AND - Logical conjunction (short-circuit)
 * (and true true) → true
 * (and true false) → false
 */
export declare const and: IPrimitiveDefinition;
/**
 * OR - Logical disjunction (short-circuit)
 * (or false true) → true
 * (or false false) → false
 */
export declare const or: IPrimitiveDefinition;
/**
 * NOT - Logical negation
 * (not true) → false
 * (not false) → true
 */
export declare const not: IPrimitiveDefinition;
/**
 * All boolean primitives
 */
export declare const booleanPrimitives: IPrimitiveDefinition[];
//# sourceMappingURL=boolean.d.ts.map