ONT Re: Differential Logic
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
DLOG. Note D75
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Transformations of Type B^2 -> B^2 (cont.)
Figure 62 extracts the gist of Figure 61, epitomizing
a style of diagram that is adequate for most purposes.
o-------------------------o o-------------------------o
| U | |\U \\\\\\\\\\\\\\\\\\\\\\|
| o---o o---o | |\\\\\\o---o\\\o---o\\\\\\|
| //////\ //////\ | |\\\\\/ \\/ \\\\\\|
| ////////o///////\ | |\\\\/ o \\\\\|
| //////////\///////\ | |\\\/ /\\ \\\\|
| o///////o///o///////o | |\\o o\\\o o\\|
| |// u //|///|// v //| | |\\| u |\\\| v |\\|
| o///////o///o///////o | |\\o o\\\o o\\|
| \///////\////////// | |\\\\ \\/ /\\\|
| \///////o//////// | |\\\\\ o /\\\\|
| \////// \////// | |\\\\\\ /\\ /\\\\\|
| o---o o---o | |\\\\\\o---o\\\o---o\\\\\\|
| | |\\\\\\\\\\\\\\\\\\\\\\\\\|
o-------------------------o o-------------------------o
\ / \ /
\ / \ /
\ / \ /
\ f / \ g /
\ / \ /
\ / \ /
\ / \ /
\ / \ /
\ / \ /
o---------\-----/---------------------\-----/---------o
| X \ / \ / |
| \ / \ / |
| o-----------o o-----------o |
| //////////////\ /\\\\\\\\\\\\\\ |
| ////////////////o\\\\\\\\\\\\\\\\ |
| /////////////////X\\\\\\\\\\\\\\\\\ |
| /////////////////XXX\\\\\\\\\\\\\\\\\ |
| o///////////////oXXXXXo\\\\\\\\\\\\\\\o |
| |///////////////|XXXXX|\\\\\\\\\\\\\\\| |
| |////// x //////|XXXXX|\\\\\\ y \\\\\\| |
| |///////////////|XXXXX|\\\\\\\\\\\\\\\| |
| o///////////////oXXXXXo\\\\\\\\\\\\\\\o |
| \///////////////\XXX/\\\\\\\\\\\\\\\/ |
| \///////////////\X/\\\\\\\\\\\\\\\/ |
| \///////////////o\\\\\\\\\\\\\\\/ |
| \////////////// \\\\\\\\\\\\\\/ |
| o-----------o o-----------o |
| |
| |
o-----------------------------------------------------o
Figure 62. A Propositional Transformation (Short Form)
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o