1. <logic> A logical formula in conjunctive normal form, which has the
p1 ^ ...^ pm => q1 V ... V qn.
~p1 V ... V ~pn V q1 V ... V qn,
where pi and qi are atoms.
The operators ~, ^, V, => are connectives, where ~ stands for negation, ^ for
conjunction, V for disjunction and => for implication.
2. <grammar> A part of a sentence (or programming language statement)
that does not constitute a full sentence, e.g. an adjectival clause in human
language or a WHERE clause in a SQL statement.
Class Oriented Ring Associated Language «
Class-Relation Method « Clausal Language « clause
» Clean » clean » cleanroom