Back to ComputerTerms

A valid logical formula is a Tautology.

Back to ComputerTerms