clause

I added clause to FOLDOC

logic

A logical formula in Conjunctive normal form In Boolean algebra, a formula is in conjunctive normal form (CNF) or clausal normal form if it is a conjunction of one or more clauses, where a clause is a disjunction of literals; otherwise put, it is a product of sums or an AND of ORs. , which has the schema

p1 ^ ...^ pm => q1 V ... V qn.

or, equivalently,

~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.

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 Structured Query Language (SQL) (pronounced S-Q-L; or alternatively as "sequel") statement.