Title: A cube-based recursive goal-oriented method for the synthesis of Boolean logic functions