Assignment 1 - Problem C - Problem Statement : Design and implement a Prolog program that translates a truth table to a Boolean formula in canonical form and description of a 2-level circuit using ...