Frankl, My Dear • 10

Posted on November 4, 2014 by Jon Awbrey

Re: Dick Lipton & Ken Regan • (1) • (2)


Venn Diagram Frankl Figure 5		 (5)

Figure 5 shows the 14 terms of the difference map \mathrm{D}f as arcs, arrows, or directed edges in the venn diagram of the original proposition f(p, q, r) = pqr. The arcs of \mathrm{E}f are directed into the cell where f is true from each of the other cells. The arcs of \boldsymbol\varepsilon f are directed from the cell where f is true into each of the other cells.

The expansion of \mathrm{D}f computed in the previous post is shown again below with the terms arranged by number of positive differential features, from lowest to highest.

\begin{array}{*{4}{l}} \multicolumn{4}{l}{\mathrm{D}f(p, q, r, \mathrm{d}p, \mathrm{d}q, \mathrm{d}r) =} \\[10pt] & \texttt{~} p \texttt{~~} q \texttt{~~} r \texttt{~} \cdot \texttt{~} \mathrm{d}p \texttt{~(} \mathrm{d}q \texttt{)(} \mathrm{d}r \texttt{)} & + & \texttt{(} p \texttt{)~} q \texttt{~~} r \texttt{~} \cdot \texttt{~} \mathrm{d}p \texttt{~(} \mathrm{d}q \texttt{)(} \mathrm{d}r \texttt{)} \\[10pt] + & \texttt{~} p \texttt{~~} q \texttt{~~} r \texttt{~} \cdot \texttt{(} \mathrm{d}p \texttt{)~} \mathrm{d}q \texttt{~(} \mathrm{d}r \texttt{)} & + & \texttt{~} p \texttt{~(} q \texttt{)~} r \texttt{~} \cdot \texttt{(} \mathrm{d}p \texttt{)~} \mathrm{d}q \texttt{~(} \mathrm{d}r \texttt{)} \\[10pt] + & \texttt{~} p \texttt{~~} q \texttt{~~} r \texttt{~} \cdot \texttt{(} \mathrm{d}p \texttt{)(} \mathrm{d}q \texttt{)~} \mathrm{d}r \texttt{~} & + & \texttt{~} p \texttt{~~} q \texttt{~(} r \texttt{)} \cdot \texttt{(} \mathrm{d}p \texttt{)(} \mathrm{d}q \texttt{)~} \mathrm{d}r \texttt{~} \end{array}
 
\begin{array}{*{4}{l}} + & \texttt{~} p \texttt{~~} q \texttt{~~} r \texttt{~} \cdot \texttt{~} \mathrm{d}p \texttt{~~} \mathrm{d}q \texttt{~(} \mathrm{d}r \texttt{)} & + & \texttt{(} p \texttt{)(} q \texttt{)~} r \texttt{~} \cdot \texttt{~} \mathrm{d}p \texttt{~~} \mathrm{d}q \texttt{~(} \mathrm{d}r \texttt{)} \\[10pt] + & \texttt{~} p \texttt{~~} q \texttt{~~} r \texttt{~} \cdot \texttt{~} \mathrm{d}p \texttt{~(} \mathrm{d}q \texttt{)~} \mathrm{d}r \texttt{~} & + & \texttt{(} p \texttt{)~} q \texttt{~(} r \texttt{)} \cdot \texttt{~} \mathrm{d}p \texttt{~(} \mathrm{d}q \texttt{)~} \mathrm{d}r \texttt{~} \\[10pt] + & \texttt{~} p \texttt{~~} q \texttt{~~} r \texttt{~} \cdot \texttt{(} \mathrm{d}p \texttt{)~} \mathrm{d}q \texttt{~~} \mathrm{d}r \texttt{~} & + & \texttt{~} p \texttt{~(} q \texttt{)(} r \texttt{)} \cdot \texttt{(} \mathrm{d}p \texttt{)~} \mathrm{d}q \texttt{~~} \mathrm{d}r \texttt{~} \\[10pt] + & \texttt{~} p \texttt{~~} q \texttt{~~} r \texttt{~} \cdot \texttt{~} \mathrm{d}p \texttt{~~} \mathrm{d}q \texttt{~~} \mathrm{d}r \texttt{~} & + & \texttt{(} p \texttt{)(} q \texttt{)(} r \texttt{)} \cdot \texttt{~} \mathrm{d}p \texttt{~~} \mathrm{d}q \texttt{~~} \mathrm{d}r \texttt{~} \end{array}

To be continued …

Resources

This entry was posted in Boolean Algebra, Boolean Functions, Computational Complexity, Differential Logic, Frankl Conjecture, Logic, Logical Graphs, Mathematics, Péter Frankl and tagged , , , , , , , , . Bookmark the permalink.

7 Responses to Frankl, My Dear • 10

  1. Pingback: Survey of Differential Logic • 1 | Inquiry Into Inquiry

  2. Pingback: Survey of Differential Logic • 2 | Inquiry Into Inquiry

  3. Pingback: Frankl, My Dear • 12 | Inquiry Into Inquiry

  4. Pingback: Animated Logical Graphs • 24 | Inquiry Into Inquiry

  5. Pingback: Survey of Differential Logic • 3 | Inquiry Into Inquiry

  6. Pingback: Survey of Differential Logic • 4 | Inquiry Into Inquiry

  7. Pingback: Survey of Differential Logic • 5 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in:

Gravatar
WordPress.com Logo

You are commenting using your WordPress.com account. ( Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. ( Log Out /  Change )

Cancel

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.