Exact Synthesis of Boolean Functions in Majority-of-Five Forms