dict.org

The DICT Development Group


Search for:
Search type:
Database:

Database copyright information
Server information


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

  clause
  
     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.
  
     (2004-05-28)
  

Contact=webmaster@dict.org Specification=RFC 2229