Data: N/A Goal: Synthesize a program to find logical formula for a truth table.
Data: N/A
Goal: Synthesize a program to find logical formula for a truth table.