Содержание
- 
              
            1.6.2 Законы алгебры логики.
- 
              
            
 Логическая формула-это выражение, содержащее логические константы, логические переменные, знаки логических операций. Логическая функция – зависимость значения одной переменной логической величины от других независимых логических величин аргументов. Таблица истинности – перечень значений функции для всех сочетаний значений аргументов. Содержит 2 в степени n строк – где n число аргументов. 
- 
              
            Рассмотрим пример равносильных высказываний1. Квадратное уравнение имеет действительные корни тогда и только тогда, когда его дискриминант положительный. 2. Если квадратное уравнение имеет действительные корни, то его дискриминант положительный и если дискриминант квадратного уравнения положительный, то оно имеет действительные корни. 
- 
              
            
 = (1) Соотношение (1) является тождеством двух логических формул. Каким способом можно доказать справедливость равенства? 
- 
              
            Построим таблицу истинности
- 
              
            
 
- 
              
            Таким образом получаем:Это выражение закона алгебры логики, сводящего операцию эквивалентности к последовательности операций отрицания, дизъюнкции и конъюнкции. 
- 
              
            
 Любую логическую формулу путем тождественных преобразований можно привести к формуле, содержащей только операции отрицания, дизъюнкции и конъюнкции. Такой способ представления логической формулы называется нормальной формой. 
- 
              
            
 
- 
              
            
 
- 
              
            Пример: ШахматыЕсть 4 друга: Антон, Виктор, Семен и Дмитрий. Относительно их умение играть в шахматы, справедливы следующие высказывания: Семен играет в шахматы Если Виктор не играет в шахматы, то играет Семен и Дмитрий Если Антон или Виктор играет, то Семен не играет. Преобразуем эти высказывания к алгебраической форме. Введем логические переменные для обозначения четырех простых высказываний: А = «Антон играет в шахматы» В = «Виктор играет в шахматы» С= «Семен играет в шахматы» D = «Дмитрий играет в шахматы» 
- 
              
            Давайте узнаем кто же играл в шахматы.
- 
              
            Домашнее задание№4,5,6 стр.108 
- 
              
            
 
- 
              
            
 
 
                  
                 
                  
                 
                  
                 
                  
                 
                  
                 
                  
                 
                  
                 
                  
                 
                  
                 
                  
                 
                  
                 
                  
                 
                  
                 
                  
                 
                  
                 
               
               
               
               
               
               
               
               
               
               
               
               
               
               
               
   
   
   
   
   
   
   
   
   
   
   
  
Нет комментариев для данной презентации
Помогите другим пользователям — будьте первым, кто поделится своим мнением об этой презентации.