[seqfan] 2,0,2,8,210;0,2,0,10,208

[Nollaig MacKenzie]

I wonder whether these sequences are worth 
submitting to OEIS:

SR(N): 2,0,2, 8,210...
SD(N): 0,2,0,10,208...

(N=0,1,2,3,4...)

SR(N) is the number of N variable nondegenerate 
self-reflecting truth-tables, SD(N) the number
of nondegenerate N variable self-dual tables.

Table t1 is a reflection of table t0 if the 
last column of t1 is that of t0 reversed, as 
the table for 'p nand q' would be for that of
'p or q'.

Table t1 is a dual of t0 if the last column of t1
is the last of t0 reversed and negated
('p and q'; 'p or q').

An example of a self-reflection would be the table 
for 'p xor q': 0 1 1 0.

A self-dual, 'p': 0 1.

Formulae for calculating SR and SD:

SR(0) = 2; for N>0, SR(N) = T(N-1) - SR(N-1)
SD(0) = 0; for N>0, SD(N) = T(N-1) - SD(N-1)

Where T(N) is given by A000371 in OEIS (The 
number of N variable nondegenerate truth-tables 
2,2,10,218,64594...)

The sequences SR and SD must have been noticed,
but I don't find them in OEIS. I don't know whether to
submit them: (a) I don't know whether they are significant
enough; (b) I don't have a way of calculating SR(N) 
directly from N.

I have a short paper with a little more detail on this 
that I'm happy to send to anyone interested.

Best wishes,
Nollaig MacKenzie
gnaillo at hushmail.com

Sent using Hushmail