The DICT Development Group

Search for:
Search type:

Database copyright information
Server information

1 definition found
 for clause
From The Free On-line Dictionary of Computing (30 December 2018) :

     1.  A logical formula in conjunctive normal form,
     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.
     2.  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.

Contact=webmaster@dict.org Specification=RFC 2229