Back to ComputerTerms

A logical formula is satisfiable if there exists a "Model".

Back to ComputerTerms