Вентильные схемы и алгебра логики

Содержание

Слайд 2

Минимальная схема системы, осуществляющей выбор

F

Клапаны

Блок
принятия решений

Принципиальное значение имеет устройство «Блока принятия

Минимальная схема системы, осуществляющей выбор F Клапаны Блок принятия решений Принципиальное значение
решений», поскольку именно в нем и происходит выбор реакции на внешнее воздействие.

Слайд 3

ПРЕДСТАВЛЕНИЕ ВХОДНОГО ВОЗДЕЙСТВИЯ И ОТКЛИКА СИСТЕМЫ В БИНАРНОМ ВИДЕ («ЕСТЬ»/«НЕТ» ПРЕДСТАВЛЕНИЕ)

Для

ПРЕДСТАВЛЕНИЕ ВХОДНОГО ВОЗДЕЙСТВИЯ И ОТКЛИКА СИСТЕМЫ В БИНАРНОМ ВИДЕ («ЕСТЬ»/«НЕТ» ПРЕДСТАВЛЕНИЕ) Для
определенности, наличие сигнала (или отклика системы) обозначается «1» (истина), а его отсутствие как «0» (ложь).

Инфузория:
(движется/неподвижна)
(движется: быстро/медленно)
(движется: вперед/назад)
(движется: прямо/поворачивает)
(поворачивает: налево/направо)

Любой вариант поведения и любой выбор конкретного варианта поведения можно представить в виде комбинации отдельных бинарных выборов.

Это позволяет установить взаимно-однозначное соответствие межу описанием поведения и исчислением высказываний.

Слайд 4

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

Высказыванием называется всякое утверждение (или всякое предложение), о котором можно судить,

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ Высказыванием называется всякое утверждение (или всякое предложение), о котором можно
истинно оно или ложно.

“2 > 0” является высказыванием и оно истинно.

“2 < 0” является высказыванием и оно ложно.

“x2 + y2 =z2” высказыванием не является.

Высказывание считается простым, если никакая его часть не является высказыванием.

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

Запись высказываний при помощи символов называют логической формулой или формулой алгебры высказываний.

Слайд 5

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ-2 ЛОГИЧЕСКИЕ ОПЕРАЦИИ

Операция отрицания (логическая связка и вентильная схема «НЕ»)

Дизъюнкция

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ-2 ЛОГИЧЕСКИЕ ОПЕРАЦИИ Операция отрицания (логическая связка и вентильная схема «НЕ»)
(логическое сложение) (связка и вентильная схема «ИЛИ»)

Конъюнкция (логическое умножение) (связка и вентильная схема «И»)

Слайд 6

ВАЖНЕЙШИЕ ТАВТОЛОГИИ – ЗАКОНЫ ЛОГИКИ

ВАЖНЕЙШИЕ ТАВТОЛОГИИ – ЗАКОНЫ ЛОГИКИ

Слайд 7

ТАБЛИЦА ИСТИННОСТИ

Распределительное свойство дизъюнкции относительно конъюнкции
a + (b⋅c) ≡ (a + b)⋅

ТАБЛИЦА ИСТИННОСТИ Распределительное свойство дизъюнкции относительно конъюнкции a + (b⋅c) ≡ (a
(a + c) или a ∨ (b∧ c) ≡ (a ∨ b) ∧ (a ∨ c)

Слайд 8

П – поток, О – опора, Х – хвост, З – запрет,

П – поток, О – опора, Х – хвост, З – запрет, К – крылья.
К – крылья.

Слайд 9

Вентильная схема

Вентильная схема

Слайд 11

Минимальная вентильная схема

Исходная вентильная схема

Минимальная вентильная схема Исходная вентильная схема

Слайд 12

Простейший формальный нейрон

P – порог возбуждения нейрона

Минимальная вентильная схема

Простейший формальный нейрон P – порог возбуждения нейрона Минимальная вентильная схема

Слайд 13

ВХОД: Л – левый "глаз", П – правый "глаз", Г – голод.

ВХОД: Л – левый "глаз", П – правый "глаз", Г – голод.

ВЫХОД: L – левая "нога", R – правая "нога", B - реверс.

Варианты, преобразуемые друг в друга. Как? Найти.

Этот вариант получается сразу, без преобразований. Как?

Слайд 14

Варианты нейросетей, соответствующих полученным формулам.

Варианты нейросетей, соответствующих полученным формулам.

Слайд 15

Например. Мышь, управляемая вентильной схемой увидела кошку. В естественном ужасе она поворачивается

Например. Мышь, управляемая вентильной схемой увидела кошку. В естественном ужасе она поворачивается
к ней хвостом чтобы убежать. Но!! Как только кошка исчезает из поля зрения мышь начинает спокойно пастись дальше. Чего-то мыши не хватает, чтобы выжить. Чего?

Правильно! Памяти и умения ее использовать. Это реализуется в системах называемых конечными автоматами.

Существуют задачи выживания, решение которых не может быть обеспечено вентильными схемами.

Имя файла: Вентильные-схемы-и-алгебра-логики.pptx
Количество просмотров: 43
Количество скачиваний: 0