CON-01 — CPL shall provide a constant expression which represents a tautology.
CON-02 — CPL shall provide a constant expression which represents a contradiction.
CON-03 — CPL shall provide an assignment operator to make an expression represent the identity of a specified element.
CON-04 — CPL shall provide an assignment operator to make an expression represent the identity of a specified expression.
CON-05 — CPL shall provide a function to construct an expression which represents the negation of a specified element.
CON-06 — CPL shall provide a function to construct an expression which represents the negation of a specified expression.
CON-07 — CPL shall provide a function to construct an expression which represents the conjunction of two specified elements.
CON-08 — CPL shall provide a function to construct an expression which represents the conjunction of a specified left element and a specified right expression.
CON-09 — CPL shall provide a function to construct an expression which represents the conjunction of a specified left expression and a specified right element.
CON-10 — CPL shall provide a function to construct an expression which represents the conjunction of two specified expressions.
CON-11 — CPL shall provide a function to construct an expression which represents the disjunction of two specified elements.
CON-12 — CPL shall provide a function to construct an expression which represents the disjunction of a specified left element and a specified right expression.
CON-13 — CPL shall provide a function to construct an expression which represents the disjunction of a specified left expression and a specified right element.
CON-14 — CPL shall provide a function to construct an expression which represents the disjunction of two specified expressions.
CON-15 — CPL shall provide a function to construct an expression which represents the conditional of two specified elements.
CON-16 — CPL shall provide a function to construct an expression which represents the conditional of a specified antecedent element and a specified consequent expression.
CON-17 — CPL shall provide a function to construct an expression which represents the conditional of a specified antecedent expression and a specified consequent element.
CON-18 — CPL shall provide a function to construct an expression which represents the conditional of two specified expressions.
CON-19 — CPL shall provide a function to construct an expression which represents the biconditional of two specified elements.
CON-20 — CPL shall provide a function to construct an expression which represents the biconditional of a specified left element and a specified right expression.
CON-21 — CPL shall provide a function to construct an expression which represents the biconditional of a specified left expression and a specified right element.
CON-22 — CPL shall provide a function to construct an expression which represents the biconditional of two specified expressions.
