Презентация, доклад на тему Решение логических уравнений и систем логических уравнений

Содержание

Используемые обозначения¬ Отрицание/\ Умножение (конъюнкция)V Сложение (дизъюнкция)   Импликация≡ Эквивалентность

Слайд 1





Слайд 2Используемые обозначения
¬ Отрицание
/\ Умножение (конъюнкция)
V Сложение (дизъюнкция)
   Импликация
≡ Эквивалентность

Используемые обозначения¬		Отрицание/\	    Умножение (конъюнкция)V		Сложение (дизъюнкция)  	Импликация≡		Эквивалентность

Слайд 3Основные логические операции
Отрицание
Инверсия
Умножение
Конъюнкция
Сложение
Дизъюнкция
Импликация
Эквиваленция

Основные логические операцииОтрицаниеИнверсияУмножениеКонъюнкцияСложениеДизъюнкцияИмпликацияЭквиваленция

Слайд 4Формулы преобразования


A V (B /\ C) = (A V B) /\

(A V C)




A  B = ¬A V B



A /\ (A V B) = A, A V (A /\ B)=A


законы Порецкого A V ¬A /\ B = A V B, A /\ ¬A V B = A /\ B
Формулы преобразования A V (B /\ C) = (A V B) /\ (A V C) 		A 

Слайд 5Простые уравнения
Задачи с импликациями
Замена переменных
Метод отображения

Простые уравненияЗадачи с импликациямиЗамена переменныхМетод отображения

Слайд 6






Слайд 8

или это одно уравнение вида:
где Х1-Х10 – логические переменные
X2X1 = 1


X3X2 = 1
X4X3 = 1

X10X9 =1

X1 V ¬ X2 = 1
X2 V ¬ X3 = 1
X3 V ¬ X4 = 1

X9 V ¬ X10 =1

(X2  X1) /\ (X3  X2) /\ … /\ (Xn  X(n-1) ) =1

или это одно уравнение вида:где Х1-Х10 – логические переменныеX2X1 = 1  X3X2 = 1  X4X3

Слайд 9
2 1
3  2
4  3

10  9

Пусть X1 = 0,

Пусть

теперь X1 = 1, а X2 = 0,
2 13  24  310  9Пусть X1 = 0,Пусть теперь X1 = 1, а X2

Слайд 11

1 2
2  3
3  4

9  10


1 22  33  49  10

Слайд 121  22  3/\6  7
1  2 /\ 2

 3 /\ /\6  7
1  1









1  22  3/\6  71  2 /\ 2  3 /\ /\6  71

Слайд 131  22  3/\6  7
1  2 /\ 2

 3 /\ /\6  7
1  1







 X1≠1, а при этом Y1≠0

Решений 8*8 =64

1  22  3/\6  7
1  2 /\ 2  3 /\ /\6  7
1  1


Число решений всей системы
64 – 1*7 = 57

1  22  3/\6  71  2 /\ 2  3 /\ /\6  71

Слайд 141  22  3/\6  7
1  2 /\ 2

 3 /\ /\6  7
1  10





64



7


 X1=1 и Y1=0


1  22  3/\6  7
1  2 /\ 2  3 /\ /\6  7
1  10

1  22  3/\6  71  2 /\ 2  3 /\ /\6  71

Слайд 16




Сделаем замену переменных
А1= X1≡X2 А2= X3≡X4 А3=

X5≡X6 А4= X7≡X8 А5= X9≡X10









Сделаем замену переменныхА1= X1≡X2   А2= X3≡X4   А3= X5≡X6   А4= X7≡X8

Слайд 18




Аналогично предыдущей системе делаем замену переменных








Аналогично предыдущей системе делаем замену переменных

Слайд 19
Здесь замена переменных не получается и на помощь приходит метод отображений.

Здесь замена переменных не получается и на помощь приходит метод отображений.

Слайд 20
Мирончик Е.А.

Мирончик Е.А.

Слайд 21





Каждая переменная имеет два допустимых значения.
Проиллюстрируем это следующим образом:



Каждая переменная имеет два допустимых значения.Проиллюстрируем это следующим образом:

Слайд 22Теперь полученную схему нужно обобщить для всей системы.
Данная система состоит из

4-х уравнений, каждое уравнение состоит из двух переменных, все уравнения связаны между собой.


Теперь полученную схему нужно обобщить для всей системы.Данная система состоит из 4-х уравнений, каждое уравнение состоит из

Слайд 27Всего решений 1013
Построим таблицу истинности для первого уравнения и построим отображение

Х1Y1 в X2Y2
Всего решений 1013Построим таблицу истинности для первого уравнения и построим отображение Х1Y1 в X2Y2

Слайд 28Отличие от предыдущей системы в последнем уравнении, которое накладывает ограничения на

количество решений: нам необходимо вычеркнуть те решения, которые не удовлетворяют уравнению X8 Y8=1, а именно набор 10.


Отличие от предыдущей системы в последнем уравнении, которое накладывает ограничения на количество решений: нам необходимо вычеркнуть те

Слайд 29
http://kpolyakov.spb.ru/download/ege23/doc
http://kpolyakov.spb.ru/download/mea-2016-8.pdf
http://kpolyakov.spb.ru/download/mea-2013-10.pdf
https://www.youtube.com/watch?v=aQCYn9kraKo&t=2s&list=PL-joPVQJyHSuyq_qDcF-YGqMKpjNSRvES&index=5
https://vk.com/informatics_100
https://inf-ege.sdamgia.ru

http://kpolyakov.spb.ru/download/ege23/dochttp://kpolyakov.spb.ru/download/mea-2016-8.pdfhttp://kpolyakov.spb.ru/download/mea-2013-10.pdfhttps://www.youtube.com/watch?v=aQCYn9kraKo&t=2s&list=PL-joPVQJyHSuyq_qDcF-YGqMKpjNSRvES&index=5https://vk.com/informatics_100https://inf-ege.sdamgia.ru

Что такое shareslide.ru?

Это сайт презентаций, где можно хранить и обмениваться своими презентациями, докладами, проектами, шаблонами в формате PowerPoint с другими пользователями. Мы помогаем школьникам, студентам, учителям, преподавателям хранить и обмениваться учебными материалами.


Для правообладателей

Яндекс.Метрика

Обратная связь

Email: Нажмите что бы посмотреть