Номер 1 (скнф/сднф).

Практика.
Теория.

19. Нормальные формы. Элементарная конъюнкция, элементарная дизъюнкция. Правильная,

полная ЭД, ЭК.

Если логическая функция выражена через дизъюнкцию, конъюнкцию и отрицание переменных, то

такая форма представления называется нормальной.

Элементарной дизъюнкцией/конъюнкцией системы переменных называется

дизъюнкция/конъюнкция некоторой переменной (или переменных) этой системы.
ЭД/ЭК называется правильной, если любая переменная системы входит в нее не более 1 раза,
учитывая ее вхождение под знаком отрицания.

ЭД/ЭК – полная, если каждая переменная входит в нее (с отрицанием или без него) только 1 раз.

ЭД:

ЭК:

22. Конъюнктивная и дизъюнктивная нормальные формы.

Формула называется дизъюнктивной нормальной формой (ДНФ), если она является

дизъюнкцией неповторяющихся элементарных конъюнкций.

ДНФ записывается в следующей форме: F1 ∨ F2 ∨ ... ∨ Fn, где Fi - элементарная

конъюнкция

---------------------
----------------------------------------------------------------------------------------------------------------------------------------------------------

Формула называется конъюнктивной нормальной формой (КНФ), если она является

конъюнкцией неповторяющихся элементарных дизъюнкций.

КНФ записывается в следующей форме: F1 ∧ F2 ∧ ... ∧ Fn, где Fi - элементарная

дизъюнкция

24. Совершенная ДНФ (СДНФ). Пример.

Логическая формула от k переменных называется совершенной дизъюнктивной

нормальной формой (СДНФ), если:
1) формула является ДНФ, в которой каждая элементарная конъюнкция есть конъюнкция
k переменных х1, х2, …, хk, причем на i-м месте этой конъюнкции стоит либо переменная
хi, либо ее отрицание;
2) все элементарные конъюнкции в такой ДНФ попарно различны.

25. Совершенная КНФ (СКНФ). Пример.

Логическая формула от k переменных называется совершенной конъюнктивной

нормальной формой (СКНФ), если:
1) формула является КНФ, в которой каждая элементарная дизъюнкция есть дизъюнкция k
переменных х1, х2, …, хk, причем на i-м месте этой дизъюнкции стоит либо переменная хi,
либо ее отрицание;
2) все элементарные дизъюнкции в такой КНФ попарно различны.

Заметим, что любую логическую функцию, не равную тождественно 0 или 1, можно

представить в виде СДНФ или СКНФ.

26. Построение СКНФ с помощью СДНФ и понятия двойственности. Пример.

1. Используйте закон двойственности: Если у вас есть выражение в СДНФ, то

закон двойственности позволяет получить выражение в СКНФ. Закон
двойственности гласит, что две логические функции (СДНФ и СКНФ) могут быть
получены друг из друга путем инвертирования операций И и ИЛИ, а также
инвертирования переменных.
2. Примените закон двойственности к выражению в СДНФ: Если у вас есть
выражение в СДНФ, инвертируйте операции И и ИЛИ, а также инвертируйте
переменные. Например:

Если у вас есть СДНФ: f(x,y,z)=(x∧¬y∧z)∨(x∧y∧¬z)

Применяя закон двойственности, инвертируем операции И и ИЛИ:

f*(x, y, z) = (x∨¬y∨z) ∧ (x∨y∨¬z)

Теперь инвертируем переменные:

f1*(x, y, z) = (¬x∨y∨¬z) ∧ (¬x∨¬y∨z)

Это выражение уже является СКНФ.

Закон двойственности позволяет переходить от одной нормальной формы к другой,

инвертируя операции и переменные.
13. Закон двойственности
Номер 2 (пнф).

38. Предваренная нормальная форма.

Предварённая нормальная форма (ПНФ) - нормальная форма, в которой кванторные операции

либо полностью отсутствуют, либо они используются после всех логических операций.

Например, для нормальной формы предваренной

нормальной формой будет .

Всякую формулу логики предикатов можно свести к ПНФ, если использовать следующий
алгоритм:

Шаг 1. Исключение логических связок и .

Шаг 2. Продвижение знака отрицания до атома. Многократно (пока это возможно)

делаются замены:

Шаг 3. Переименование связанных переменных.

Шаг 4. Вынесение кванторов. Для вынесения кванторов используются формулы

эквивалентности для исчисления предикатов.

После выполнения четвертого шага получаем ПНФ.

Номер 3 (релейки/логич.исследование/предикаты по таблице).

Про свободные переменные:

28. Релейно-контактные схемы.

Релейно-контактная схема - это схема, состоящая из проводов, переключателей и клемм,

соединённых параллельным или последовательным способом.
34. Определение предиката. Определение Ip. Операции над предикатами.
Операции над предикатами:

1) ЛОГИЧЕСКИЕ: КОНЪЮНКЦИЯ, ДИЗЪЮНКЦИЯ, ОТРИЦАНИЕ, ИМПЛИКАЦИЯ, ЭКВИВАЛЕНТНОСТЬ.

2) КВАНТОРНЫЕ

Кванторы:

35. Формулы логики предикатов (ЛП).

Номер 4 (общезначимость/выполнимость).

39. Общезначимость и выполнимость, ТИ и ТЛ формулы ЛП. Логический закон.

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

40. Теорема о необходимом и достаточном условии общезначимости формулы А.

41. Теорема о необходимом и достаточном условии выполнимости формулы А.

(на фото и 40, и 41)

Номер 5 (машины тьюринга).

Практика.
Прочая теория.

1. Понятие высказывания.
Высказыванием называется всякое связное осмысленное повествовательное предложение, о
котором можно сказать, истинно оно или ложно. Ни одно выск-е не может быть одновременно
истинным и ложным.

Выск-я обозначаются буквами латинского алфавита (a, b, …).

2. Логические операции над высказыванием. Таблицы истинности.

Импликация:

А В A -> B

0 0 1

0 1 1

1 0 0

1 1 1

Эквивалентность:

А В A <-> B

0 0 1

0 1 0

1 0 0

1 1 1

3. Определение формул алгебры высказываний.

Переменные, вместо которых можно подставить высказывания (пробегающие много
высказываний), назыв. высказывательными переменными.
Формулы АВ – выражения, получаемые из символов выск.переменных, знаков логических
операций и скобок, определяющих порядок действий.

4. Определение тожд.истинных и тожд.ложных формул АВ. Тавтология и противоречие.

ТИ формула (тавтология) – формула, принимающая значение «истина» для любого набора
входящих в нее выск.переменных.
ТЛ формула (противоречие) – формула, принимающая значение «ложь» для любого
набора входящих в нее выск.переменных.

5. Определение равносильных формул АВ.

Формулы АВ равносильны, если они принимают истинное значение на одних и тех же наборах
входящих в них выск.переменных.
6. Основные эквивалентности (с д-вом).
7. Булева алгебра. Модель булевой алгебры.
 8. Стрелка Пирса. Штрих Шеффера

Стрелка Пирса - это высказывание, которое истинно только тогда, когда ложны
оба высказывания, входящие в него.

Штрих Шеффера – это высказывание, которое ложно только тогда, когда ложны
оба высказывания, входящие в него.

18. Св-ва совершенства:

1) Каждое логическое сложение содержит все переменные, входящие в функцию F(x1, x2, …, xn).

2) Все логические сложения функции различны.

3) Ни одно логическое сложение функции не содержит одновременно некоторой переменной и ее

отрицания.

4) Ни одно логическое сложение не содержит одновременно одну переменную дважды.

37. Равносильные формулы ЛП. Дополнительные законы (действия с кванторами). Доказательства.

Законы ЛП.