Function toCNF

Converts a boolean expression to conjunctive normal form (CNF).

Example

const cnf = Chalkboard.bool.toCNF("x & (y | z)"); // Returns "(x) & (y | z)"
  • toCNF(input: string): string

    Parameters

    • input: string

      The boolean expression

    Returns string

Settings

Member Visibility