<?xml version="1.0" encoding="windows-1252"?>
<node id="394340" title="Re^4: A &quot;but&quot; operator." created="2004-09-27 16:30:57" updated="2005-07-04 12:06:55">
<type id="11">
note</type>
<author id="290288">
Plankton</author>
<data>
<field name="doctext">
&lt;p&gt;
I think you are trying to say a "but" operator is equivalent "not and" operator and that !(A-&gt;B) is equivalent to "but".
I am assuming that "!" symbolizes the negation operator and   "-&gt;" symbolized the if-then ( or implies ) operator.
&lt;/p&gt;&lt;p&gt;
Yet ...
&lt;table border=1&gt;
&lt;tr&gt;&lt;th&gt;P&lt;/th&gt;&lt;th&gt;Q&lt;/th&gt;&lt;th&gt;P-&gt;Q&lt;/th&gt;&lt;tr&gt;
&lt;tr&gt;&lt;td&gt;T&lt;/td&gt;&lt;td&gt;T&lt;/td&gt;&lt;td&gt;T&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td&gt;T&lt;/td&gt;&lt;td&gt;F&lt;/td&gt;&lt;td&gt;F&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td&gt;F&lt;/td&gt;&lt;td&gt;T&lt;/td&gt;&lt;td&gt;T&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td&gt;F&lt;/td&gt;&lt;td&gt;F&lt;/td&gt;&lt;td&gt;T&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;
&lt;/p&gt;&lt;p&gt;
&lt;table border=1&gt;
&lt;tr&gt;&lt;th&gt;P&lt;/th&gt;&lt;th&gt;Q&lt;/th&gt;&lt;th&gt;P and Q&lt;/th&gt;&lt;th&gt;!(P and Q)&lt;/th&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td&gt;T&lt;/td&gt;&lt;td&gt;T&lt;/td&gt;&lt;td&gt;T&lt;/td&gt;&lt;td&gt;F&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td&gt;T&lt;/td&gt;&lt;td&gt;F&lt;/td&gt;&lt;td&gt;F&lt;/td&gt;&lt;td&gt;T&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td&gt;F&lt;/td&gt;&lt;td&gt;T&lt;/td&gt;&lt;td&gt;F&lt;/td&gt;&lt;td&gt;T&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td&gt;F&lt;/td&gt;&lt;td&gt;F&lt;/td&gt;&lt;td&gt;F&lt;/td&gt;&lt;td&gt;T&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;So I would say "A and !B"is not equivalent to "!(A -&gt; B)" and I wouldn't say "A but B" &lt;=&gt; "A and !B", but I could just be misunderstanding your notation. :)
&lt;/p&gt;&lt;p&gt;
As far a what a but operator is I would say it should be equivalent to the "Boolean And" operator.
And is not needed in a programming language.  The word "but" is used in commonly to emphasis
that an assumption is false.  Example ...
&lt;pre&gt;
If a student where to errorously assume that multiplaction is 
the same as addition the student might state ...


1 + 1 = 2 and 2 + 2 = 4 and 2 * 2 = 4 and 1 * 1 = 2


... which we know to be false.  The student's teacher would say ...


1 + 1 = 2 and 2 + 2 = 4 and 2 * 2 = 4 but 1 * 1 != 2


... to correct the student.


This is the same as


1 + 1 = 2 and 2 + 2 = 4 and 2 * 2 = 4 and 1 * 1 != 2


    T and T and T and T is TRUE


It is not equal to


1 + 1 = 2 and 2 + 2 = 4 and 2 * 2 = 4 and not (1 * 1 != 2)



     T and T and T and F is FALSE
&lt;/pre&gt;
&lt;/p&gt;&lt;p&gt;
But merely gives emphasis to the fact that the student's assumption is false.
&lt;/p&gt;
&lt;p&gt;&lt;font size=-2&gt;[Janitors|Janitored] by [davido]: removed excess spaces within pre tags that caused horizontal scrolling.&lt;/font&gt;&lt;/p&gt;
&lt;!-- Node text goes above. Div tags should contain sig only --&gt;
&lt;div class="pmsig"&gt;&lt;div class="pmsig-290288"&gt;
&lt;BR&gt;&lt;TABLE&gt;&lt;TR&gt;&lt;TD bgcolor=lightgreen&gt;Plankton: 1% Evil, 99% Hot Gas.&lt;/TD&gt;&lt;/TR&gt;&lt;/TABLE&gt;
&lt;/div&gt;&lt;/div&gt;</field>
<field name="root_node">
394269</field>
<field name="parent_node">
394282</field>
</data>
</node>
