A formula is said to be satisfiable if it can be made TRUE by assigning appropriate logical values ( i.e .
A formula is said to be TRUE if it can be made satisfiable by assigning appropriate logical values ( i.e .