/**
 * Check if a value is boolean.
 * @param v a value
 * @returns is boolean?
 */ export declare function is(v: any): v is boolean;
/**
 * Convert a string to boolean.
 * @param s a string
 * @returns s represents true?
 */ export declare function parse(s: string): boolean;
/**
 * Check if a boolean is false.
 * @param a a boolean
 * @returns ¬a?
 */ export declare function not(a: boolean): boolean;
/**
 * Check if antecedent ⇒ consequent.
 * @param a antecedent
 * @param b consequent
 * @returns a ⇒ b?
 */ export declare function imply(a: boolean, b: boolean): boolean;
export { imply as imp };
/**
 * Check if antecedent ⇏ consequent.
 * @param a antecedent
 * @param b consequent
 * @returns a ⇏ b?
 */ export declare function nimply(a: boolean, b: boolean): boolean;
/**
 * Check if antecedent ⇔ consequent.
 * @param a antecedent
 * @param b consequent
 * @returns a ⇔ b?
 */ export declare function eq(a: boolean, b: boolean): boolean;
export { eq as eqv };
/**
 * Check if antecedent ⇎ consequent.
 * @param a antecedent
 * @param b consequent
 * @returns a ⇎ b?
 */ export declare function neq(a: boolean, b: boolean): boolean;
/**
 * Check if all booleans are true.
 * @param a 1st boolean
 * @param b 2nd boolean
 * @param c 3rd boolean
 * @param d 4th boolean
 * @param e 5th boolean
 * @param f 6th boolean
 * @param g 7th boolean
 * @param h 8th boolean
 * @returns a ^ b ^ ...?
 */ export declare function and(a?: boolean, b?: boolean, c?: boolean, d?: boolean, e?: boolean, f?: boolean, g?: boolean, h?: boolean): boolean;
/**
 * Check if any boolean is false.
 * @param a 1st boolean
 * @param b 2nd boolean
 * @param c 3rd boolean
 * @param d 4th boolean
 * @param e 5th boolean
 * @param f 6th boolean
 * @param g 7th boolean
 * @param h 8th boolean
 * @returns ¬(a ^ b ^ ...)?
 */ export declare function nand(a?: boolean, b?: boolean, c?: boolean, d?: boolean, e?: boolean, f?: boolean, g?: boolean, h?: boolean): boolean;
/**
 * Check if any boolean is true.
 * @param a 1st boolean
 * @param b 2nd boolean
 * @param c 3rd boolean
 * @param d 4th boolean
 * @param e 5th boolean
 * @param f 6th boolean
 * @param g 7th boolean
 * @param h 8th boolean
 * @returns a ∨ b ∨ ...?
 */ export declare function or(a?: boolean, b?: boolean, c?: boolean, d?: boolean, e?: boolean, f?: boolean, g?: boolean, h?: boolean): boolean;
/**
 * Check if all booleans are false.
 * @param a 1st boolean
 * @param b 2nd boolean
 * @param c 3rd boolean
 * @param d 4th boolean
 * @param e 5th boolean
 * @param f 6th boolean
 * @param g 7th boolean
 * @param h 8th boolean
 * @returns ¬(a ∨ b ∨ ...)?
 */ export declare function nor(a?: boolean, b?: boolean, c?: boolean, d?: boolean, e?: boolean, f?: boolean, g?: boolean, h?: boolean): boolean;
/**
 * Check if odd number of booleans are true.
 * @param a 1st boolean
 * @param b 2nd boolean
 * @param c 3rd boolean
 * @param d 4th boolean
 * @param e 5th boolean
 * @param f 6th boolean
 * @param g 7th boolean
 * @param h 8th boolean
 * @returns a ⊕ b ⊕ ...?
 */ export declare function xor(a?: boolean, b?: boolean, c?: boolean, d?: boolean, e?: boolean, f?: boolean, g?: boolean, h?: boolean): boolean;
/**
 * Check if even number of booleans are true.
 * @param a 1st boolean
 * @param b 2nd boolean
 * @param c 3rd boolean
 * @param d 4th boolean
 * @param e 5th boolean
 * @param f 6th boolean
 * @param g 7th boolean
 * @param h 8th boolean
 * @returns ¬(a ⊕ b ⊕ ...)?
 */ export declare function xnor(a?: boolean, b?: boolean, c?: boolean, d?: boolean, e?: boolean, f?: boolean, g?: boolean, h?: boolean): boolean;
/**
 * Count number of true booleans.
 * @param a 1st boolean
 * @param b 2nd boolean
 * @param c 3rd boolean
 * @param d 4th boolean
 * @param e 5th boolean
 * @param f 6th boolean
 * @param g 7th boolean
 * @param h 8th boolean
 * @returns a + b + ...
 */ export declare function count(a?: boolean, b?: boolean, c?: boolean, d?: boolean, e?: boolean, f?: boolean, g?: boolean, h?: boolean): number;
/**
 * Check if iᵗʰ boolean is true.
 * @param i index
 * @param a 1st boolean
 * @param b 2nd boolean
 * @param c 3rd boolean
 * @param d 4th boolean
 * @param e 5th boolean
 * @param f 6th boolean
 * @param g 7th boolean
 * @param h 8th boolean
 * @returns iᵗʰ boolean
 */ export declare function select(i: number, a?: boolean, b?: boolean, c?: boolean, d?: boolean, e?: boolean, f?: boolean, g?: boolean, h?: boolean): boolean;