declare const andOperators: string[];
declare const orOperators: string[];
declare const xorOperators: string[];
declare const notOperators: string[];
declare const ifOperators: string[];
declare const biconditionalOperators: string[];
declare const converseOperators: string[];
declare const nonimplicationOperators: string[];
declare const converseNonimplicationOperators: string[];
declare const nandOperators: string[];
declare const norOperators: string[];
declare const xnorOperators: string[];
export { andOperators, orOperators, xorOperators, notOperators, ifOperators, biconditionalOperators, converseOperators, nonimplicationOperators, converseNonimplicationOperators, nandOperators, norOperators, xnorOperators };