Number of discrete implications I:L_n^2-> L_n defined on the finite chain L_n={0,1,...n}, which satisfy the identity principle, i.e., I(x,x)=n for all x in L_n.
A367541
Number of discrete implications I:L_n^2-> L_n defined on the finite chain L_n={0,1,...n}, which satisfy the identity principle, i.e., I(x,x)=n for all x in L_n.
Terms
- a(0) =1a(1) =9a(2) =246a(3) =21307a(4) =5967884a(5) =5464753020
External references
- oeis: A367541