The Boolean functions perform various operations on Boolean expressions and return Boolean values.  The Boolean OperatorsBoolean_Constants_and_Operators also operate on such expressions.  


If u is a Boolean expression, the predicate function EVERY(u,x,c) evaluates u(x) for x equal to each element of c until a result is false in which case EVERY immediately returns false.  If no result is false, EVERY returns true.  EVERY(u,k,m,n,s) evaluates u(k) for k=m to n in steps of size s until a result is false or all results are true.


Similarly, if u is a Boolean expression, the predicate function SOME(u,x,c) evaluates u(x) for x equal to each element of c until a result is true in which case SOME immediately returns true.  If no result is true, SOME returns false.  SOME(u,k,m,n,s) evaluates u(k) for k=m to n in steps of size s until a result is true or all results are false.


Use the Simplify > Expand command984VML or the Expansion FunctionsExpansion_Functions to transform Boolean expressions into disjunctive normal form.  Use the Simplify > Factor commandU08MH3 or the Factoring FunctionsFactoring_Functions to transform Boolean expressions into conjunctive normal form.  


Other Built-in Functions and ConstantsBuilt_in_Functions_and_Constants 

Created with the Personal Edition of HelpNDoc: Easily create Web Help sites