Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.
|
|
fom
Posts:
1,039
Registered:
12/4/12
|
|
Re: distinguishability - in context, according to definitions
Posted:
Feb 15, 2013 7:05 AM
|
|
On 2/14/2013 12:40 PM, fom wrote:
> On 2/14/2013 9:32 AM, Shmuel (Seymour J.) Metz wrote:
>> In <qImdnYCz5tRmvITMnZ2dnUVZ_oWdnZ2d@giganews.com>, on 02/11/2013
>> at 10:53 AM, fom <fomJUNK@nyms.net> said:
>>
>> You really need to step back, separate out the philosophy from the
>> mathematics and define any terms that you aren't uisng in accordance
>> with standard practice.
What follows is a paradigm Steiner
Quadruple System on 14 symbols. This
structure is intended to convey
duality between the "given label" and
its "individuating mark". The one
presented here is constructed with the
names of basic Boolean functions different
from LEQ and XOR. The fourteen functions
are linearly separable, whereas the two
exclusions are not.
==================
(AND)(FIX)(OR)(NIF)
(FIX)(NIF)(NIMP)(IF)
(FIX)(NIF)(IMP)(NAND)
(NIF)(LET)(OR)(IF)
(NIF)(LET)(NIMP)(IMP)
(FIX)(FLIP)(IMP)(NOR)
(FIX)(LET)(AND)(IF)
(FIX)(LET)(OR)(IMP)
(FIX)(LET)(NIMP)(NAND)
(FIX)(NIF)(LET)(NOR)
(AND)(NIMP)(IF)(DENY)
(FIX)(FLIP)(LET)(DENY)
(AND)(OR)(NIMP)(IMP)
(OR)(NIF)(NIMP)(FLIP)
(NIF)(FLIP)(IF)(IMP)
(NIF)(FLIP)(NAND)(NOR)
(FLIP)(DENY)(NIMP)(IMP)
(FLIP)(DENY)(IF)(NAND)
(NIF)(LET)(NAND)(AND)
(NIF)(DENY)(OR)(IMP)
(NIF)(DENY)(NIMP)(NAND)
(NIF)(DENY)(IF)(NOR)
(NIF)(FLIP)(DENY)(AND)
(OR)(IF)(IMP)(TRU)
(NIF)(LET)(DENY)(TRU)
(OR)(NIMP)(IF)(NAND)
(NIMP)(FLIP)(IF)(LET)
(FLIP)(LET)(IMP)(NAND)
(FLIP)(LET)(NOR)(AND)
(LET)(TRU)(IF)(NAND)
(LET)(TRU)(IMP)(NOR)
(FLIP)(DENY)(NOR)(OR)
(FLIP)(TRU)(NIMP)(NAND)
(FLIP)(TRU)(IF)(NOR)
(FLIP)(TRU)(IMP)(AND)
(FLIP)(LET)(TRU)(OR)
(NIMP)(IMP)(NAND)(NTRU)
(FLIP)(DENY)(TRU)(NTRU)
(NIMP)(IF)(IMP)(NOR)
(IF)(LET)(IMP)(DENY)
(LET)(DENY)(NAND)(NOR)
(LET)(DENY)(AND)(OR)
(DENY)(NTRU)(IMP)(NOR)
(DENY)(NTRU)(NAND)(AND)
(LET)(TRU)(AND)(NIMP)
(LET)(NTRU)(IF)(NOR)
(LET)(NTRU)(IMP)(AND)
(LET)(NTRU)(NAND)(OR)
(LET)(DENY)(NTRU)(NIMP)
(IF)(NAND)(NOR)(FIX)
(LET)(TRU)(NTRU)(FIX)
(IF)(IMP)(NAND)(AND)
(IMP)(DENY)(NAND)(TRU)
(DENY)(TRU)(NOR)(AND)
(DENY)(TRU)(OR)(NIMP)
(TRU)(FIX)(NOR)(OR)
(TRU)(FIX)(NAND)(AND)
(DENY)(NTRU)(OR)(IF)
(DENY)(FIX)(IMP)(AND)
(DENY)(FIX)(NOR)(NIMP)
(DENY)(TRU)(FIX)(IF)
(IMP)(NOR)(AND)(NIF)
(DENY)(NTRU)(FIX)(NIF)
(DENY)(FIX)(NAND)(OR)
(IMP)(NAND)(NOR)(OR)
(NAND)(TRU)(NOR)(NTRU)
(TRU)(NTRU)(AND)(OR)
(TRU)(NTRU)(NIMP)(IF)
(NTRU)(NIF)(NOR)(OR)
(NTRU)(NIF)(AND)(NIMP)
(TRU)(FIX)(NIMP)(IMP)
(TRU)(NIF)(NAND)(OR)
(TRU)(NIF)(NOR)(NIMP)
(TRU)(NIF)(AND)(IF)
(TRU)(NTRU)(NIF)(IMP)
(NAND)(AND)(OR)(FLIP)
(TRU)(FIX)(NIF)(FLIP)
(NAND)(NOR)(AND)(NIMP)
(NOR)(NTRU)(AND)(FIX)
(NTRU)(FIX)(OR)(NIMP)
(NTRU)(FIX)(IF)(IMP)
(FIX)(FLIP)(AND)(NIMP)
(FIX)(FLIP)(OR)(IF)
(NTRU)(NIF)(IF)(NAND)
(NTRU)(FLIP)(NOR)(NIMP)
(NTRU)(FLIP)(AND)(IF)
(NTRU)(FLIP)(OR)(IMP)
(NTRU)(FIX)(FLIP)(NAND)
(NOR)(OR)(NIMP)(LET)
(NTRU)(NIF)(FLIP)(LET)
(NOR)(AND)(OR)(IF)
|
|
|
|
