This project (Boolean function and dominos on Boolean boards) was assigned to me by my advisor , Doron Zeilberger, when was in graduate school back in 2005. Over the years, I have given it some multiple attempts. It is just recently that I manange to dicipher the note I had since that time. Another project to cross out from my list.
######################################################
The article Reviews of Symbolic Moment Calculus
accompanied by three Maple programs:
SchurT, Section 2: Monochromatic Schur triples on [1,n]
InvMaj, Section 4: Inversion and Major Index on permutation
Boolean, Section 5,6: Boolean Functions, Dominos on Boolean Boards
Plus the program Guess.