Changes

The underlined parenthetical expressions on the right are the cactus forms for the boolean functions that correspond to inclusive disjunction and logical equivalence, respectively.  Table 1 summarizes the basic elements of the cactus notation for propositional logic.

The underlined parenthetical expressions on the right are the cactus forms for the boolean functions that correspond to inclusive disjunction and logical equivalence, respectively.  Table 1 summarizes the basic elements of the cactus notation for propositional logic.

{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:96%"

{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:96%"

A more complete framework of discussion and a fuller development of this example can be found in the neighborhood of the following site:

A more complete framework of discussion and a fuller development of this example can be found in the neighborhood of the following site:

:* [http://stderr.org/pipermail/inquiry/2003-June/000557.html DLOG D73]

:* [[Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0#Transformations_of_Type_B2_.E2.86.92_B2|Transformations of Type '''B'''² → '''B'''²]]

==Note 9==

==Note 9==