| 
			
        		| RKI   
 
   
   Долгожитель
 |           To artemM
 Составьте таблицу истинности
 x1  x2  x3  x4  x1~x3  x2->x4  f
 |  
				| Всего сообщений: 5184 | Присоединился: октябрь 2008 | Отправлено: 30 дек. 2008 12:49 | IP
 |  | 
    
    
    
		
			| 
			
        		| RKI   
 
   
   Долгожитель
 |           x1  x2  x3  x4    x2->x4   x3&(x2->x4)    f=x1~x3&(x2->x4)
 0    0    0    0
 1    0    0    0
 0    1    0    0
 0    0    1    0
 0    0    0    1
 1    1    0    0
 1    0    1    0
 1    0    0    1
 0    1    1    0
 0    1    0    1
 0    0    1    1
 1    1    1    0
 1    1    0    1
 0    1    1    1
 1    0    1    1
 1    1    1    1
 
 
 (Сообщение отредактировал RKI 30 дек. 2008 13:09)
 |  
				| Всего сообщений: 5184 | Присоединился: октябрь 2008 | Отправлено: 30 дек. 2008 12:53 | IP
 |  | 
    
    
    
		
			| 
			
        		| RKI   
 
   
   Долгожитель
 |           x  y  x->y
 0  0    1
 0  1    1
 1  0    0
 1  1    1
 --------------------------------------------------
 x1  x2  x3  x4    x2->x4  x3&(x2->x4)   f=x1~x3&(x2->x4)
 0    0    0    0         1
 1    0    0    0         1
 0    1    0    0         0
 0    0    1    0         1
 0    0    0    1         1
 1    1    0    0         0
 1    0    1    0         1
 1    0    0    1         1
 0    1    1    0         0
 0    1    0    1         1
 0    0    1    1         1
 1    1    1    0         0
 1    1    0    1         1
 0    1    1    1         1
 1    0    1    1         1
 1    1    1    1         1
 
 (Сообщение отредактировал RKI 30 дек. 2008 13:13)
 |  
				| Всего сообщений: 5184 | Присоединился: октябрь 2008 | Отправлено: 30 дек. 2008 12:58 | IP
 |  | 
    
    
    
		
			| 
			
        		| artemM 
 
   Новичок
 |           а разве не конъюнкция перед эквивалентностью выполняется?
 |  
				| Всего сообщений: 19 | Присоединился: декабрь 2008 | Отправлено: 30 дек. 2008 13:02 | IP
 |  | 
    
    
    
		
			| 
			
        		| RKI   
 
   
   Долгожитель
 |           x  y   x&y
 0  0    0
 0  1    0
 1  0    0
 1  1    1
 --------------------------------------------------
 x1  x2  x3  x4    x2->x4    x3&(x2->x4)   f=x1~x3&(x2->x4)
 0    0    0    0         1              0
 1    0    0    0         1              0
 0    1    0    0         0              0
 0    0    1    0         1              1
 0    0    0    1         1              0
 1    1    0    0         0              0
 1    0    1    0         1              1
 1    0    0    1         1              0
 0    1    1    0         0              0
 0    1    0    1         1              0
 0    0    1    1         1              1
 1    1    1    0         0              0
 1    1    0    1         1              0
 0    1    1    1         1              1
 1    0    1    1         1              1
 1    1    1    1         1              1
 
 
 
 (Сообщение отредактировал RKI 30 дек. 2008 13:16)
 |  
				| Всего сообщений: 5184 | Присоединился: октябрь 2008 | Отправлено: 30 дек. 2008 13:02 | IP
 |  | 
    
    
    
		
			| 
			
        		| artemM 
 
   Новичок
 |           вроде сначала x3&(x2->x4), а потом x1~...
 |  
				| Всего сообщений: 19 | Присоединился: декабрь 2008 | Отправлено: 30 дек. 2008 13:05 | IP
 |  | 
    
    
    
		
			| 
			
        		| RKI   
 
   
   Долгожитель
 |           то есть сначала -> потом & потом ~?
 |  
				| Всего сообщений: 5184 | Присоединился: октябрь 2008 | Отправлено: 30 дек. 2008 13:05 | IP
 |  | 
    
    
    
		
			| 
			
        		| RKI   
 
   
   Долгожитель
 |           ну давайте исправим
 
 
 |  
				| Всего сообщений: 5184 | Присоединился: октябрь 2008 | Отправлено: 30 дек. 2008 13:07 | IP
 |  | 
    
    
    
		
			| 
			
        		| artemM 
 
   Новичок
 |           да, я сейчас в учебнике уточнил
 |  
				| Всего сообщений: 19 | Присоединился: декабрь 2008 | Отправлено: 30 дек. 2008 13:07 | IP
 |  | 
    
    
    
		
			| 
			
        		| RKI   
 
   
   Долгожитель
 |           исправим это ж не проблема
 
 |  
				| Всего сообщений: 5184 | Присоединился: октябрь 2008 | Отправлено: 30 дек. 2008 13:08 | IP
 |  |