Maple Programs for Logic Design Converting truth tables to simlified formulas