2018-10-12 16:00:59 -04:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								---
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								title: Algebra of Logic
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								localeTitle: Алгебра логики
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								---
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								## Алгебра логики
 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2018-11-05 12:33:52 -05:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
								
									
										 
									
								 
							
							
								_А  лг е б р а   ло г  ики_ или _б у  ле  ва   а  лг е б р а  _  является ветвью математики. Он имеет дело с   переменными и их значением истины. Переменные имеют два возможных состояния: `true`  или `false`  .
							 
						 
					
						
							
								
									
										
										
										
											2018-10-12 16:00:59 -04:00 
										
									 
								 
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
										 
									
								 
							
							
								Он был впервые представлен Джорджем Булом в е г о   книге «Математический анализ логики» (1847).
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								Булева алгебра фундаментальна для развития цифровой электроники. Он отвечает за то, чтобы сделать все современные вычисления.
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								Три основные операции в булевой алгебре - это `AND`  , `OR`  и `NOT`  . Рассмотрим две булевы переменные `x`  и `y`  :
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
										 
									
								 
							
							
								*    `x AND y`  истинно тогда и только тогда, когда о б а   `x`  и `y`  верны
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
										 
									
								 
							
							
								*    `x OR y`  истинно тогда и только тогда, когда любое из `x`  , `y`  истинно. Если `x`  , `y`  о б а   истины, `x OR y`  по-прежнему верен
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								*    `NOT x`  является истинным тогда и только тогда, когда `x`  является ложным и наоборот
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								### Дополнительная информация:
 
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							 
							
								
									
								 
							
							
								*    Исчисление логики: [Джордж Бул ](http://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/CalcLogic.html )
							 
						 
					
						
							
								
									
										
										
										
											2018-11-05 12:33:52 -05:00 
										
									 
								 
							 
							
								
									
										 
									 
								
							 
							
								 
							 
							
								
									
										 
									
								 
							
							
								*    Статья с   булевой алгеброй: [Википедия ](https://en.wikipedia.org/wiki/Boolean_algebra )