Language of Boolean functions its Grammar and Machine
  In this paper an algorithm is designed which generates in-equivalent Boolean functions of any number of variables from the four Boolean functions of single variable. The grammar for such set of Boolean function is provided. The Turing Machine that accepts such set is constructed. 
Birendra Kumar Nayak (1), Sudhakar Sahoo (2)