1.    
 

   
  
    
   

2.    
   
repeat: repeat:
f[1] ← true; f[2] ← true;
Turn ← 2; Turn ← 1;
wait (f[2] = false wait (f[1] = false
or Turn = 1); or Turn = 2);
Critical Section(1); Critical Section(2);
f[1] ← false; f[2] ← false;


3.     
   
f[1]←true f[2]←true
Turn←1
Turn←2
Turn=2

C.S.(2)
f[2]←false
f[2]=false
C.S.(1)


4. ✔ 
☛   
    
  
  


5.      
     
    
•     R     D
•     P
•     ∈      ⊆ P
•     ∈ 
•     ⊆ 
•      ∈      
•        R → D
•                R D
 


6.   
      ∈           ∈  
  
•        
•          
•           

  → 
•         
•           
•        ∈ R      


7.     
       
• P  R 
•     ∈        


8.  
   ∈    
    
•   ∩    ∅
•  ∩  ∪    ∅ 
•  ∩  ∪    ∅
         
           
         


9.   
             
       
          →   
     ∈    
    
       ∈           
    
       ∈          
   
             


10.   
           
           

      ∈    ∈  

  
         
              ↓
    ∈ 
             ∈ 

  LS   S    
   


11. ✔ 
✔   
☛     
  
  


12. 
      L      
     
     


13.  
 
✂
 
✂
 
     
         
     


14.  
         
    
∀    → ∃  ∧  
∀     → ∃  ∧  
∀     ∧   →  


15.  
         
      ∈           
   

   ∈ N ∪   L 
    ∈ L 
L        

       


16. ✔ 
✔   
✔     
☛   
  


17.     
 

  
  
     


18.     






 
 
; 
 



     


19.   
          
           ∅
           ∩   ∅     
   
             
             
         
   SMC     


20.   
   
   
     
     
                    
             
   ∪      ∪        
 ∪  ∪    ∈         


21.   

 

   

 
   
; 
 

 

     
      A    →   
          → ⊆   SMC  
           ⊆   
   


22. ✔ 
✔   
✔     
✔   
☛   


23.     

               
     →      ∈  
        →       ∈  
  ∈    ∈    
•     
•    


24.  

   L A     A 
 
      →→     
           
 
         
           


25.     
       
       
   

        
 
 →→             
 

          
      


26. 
•        
   
       
        
•        
      
  
•         
 
•         


27. 

29.   
          
 
        ∈    
         ∈   

→ 

    


30.  
 
✂
 
✂
 
✂
 
   
        
       


31.  
 
✂
 
✂
 
✂
     
  
        
       
 


32.      
         
            
       
         
         
      
      
  
        
      

