Changes

Talk:Logical graph (view source)

3 bytes added , 03:48, 6 December 2008

Line 262: Line 262:

</pre>

−

~~Under~~ the ~~existential interpretation~~, ~~this may be read~~ in the following ways:

+

This is the so-called ''absorption law'', commonly written in the following ways:

: <math>(a \land b) \lor a \iff a</math>

−

: <math>~~a b~~ \lor a = a</math>

+

: <math>ab \lor a = a</math>

12,123

edits