The DICT Development Group
1 definition found
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.
~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
Contactfirstname.lastname@example.org Specification=RFC 2229