Back to ComputerTerms

A valid logical formula is a [[Tautology]].

Back to ComputerTerms