12.4.    C++ 457

     ,      
     ,    -     .
 ,    .   -
,       .  
    ,        -
         .
       :

determineVacationAppropriate()

    UniverseOfDiscourse    -
.     ,    :

(A v  v ) - (Q v R v S) --> W

    :        
,   W   .     , 
            
    ,    . -
  determineVacationAppropriate ()   12.10.

//  12.10.   

bool agent::determineVacationAppropriate(void)
{

bool TruthValue;

Manageri.universe(PerformanceBeliefs) ;

Manager2.universe(PerformanceBeliefs) ;

.universe(PerformanceBeliefs) ;

Tripl.universe(TripBeliefs) ;

Trip2.universe(TripBeliefs) ;

Trip3.universe(TripBeliefs) ;

TruthValue = ((Manageri || Manager2 || ) &&
(Tripl || Trip2 || Trip3));

return(TruthValue) ;

}

   ,   TripBeliefs  PerformanceBeliefs -
   universe ()  Trip  Manager.  
      
(UniverseOfDiscourse).     proposition  
operator ,   UniverseOfDiscourse   -
   .   12.10   

((Manageri || Manager2 || ) && (Tripl || Trip2 || Trip3));

   (   "| |").
 " | "      operator (),
      
UniverseOfDiscourse.    ,   trip_announcement
 performance_statement      proposition.
  12.6  12.7  ,    operator () 
 trip_announcement,    12.11   
operator ()   performance_statement.