Tabular Expression of Criteria
Original Publication Date: 1986-Dec-01
Included in the Prior Art Database: 2005-Mar-09
In a system in which a user enters truth-functional combinations of criteria, the permissible sequence of application of truth-functional connectives may be constrained by allowing only one such operator to be prefixed (or suffixed) to any criterion in order to avoid syntactical complexity and so increase the usability, or 'friendliness', of the system. A criterion can be taken to comprise two expressions connected by some relational operator, and the truth-functional connectives envisaged are 'NOT', 'AND', and 'OR' (others, such as 'Exclusive OR' might also be considered). Typical relational operators are 'EQ' or '=' for equality, 'LT' or '<' for 'less than'; no restriction is placed on what other operators might be used.