И код направления подготовки



бет8/26
Дата15.09.2022
өлшемі341.63 Kb.
#460790
түріПрограмма дисциплины
1   ...   4   5   6   7   8   9   10   11   ...   26
ДСдляВ СИЛЛАБУС2021 СарсимбаеваСМ (Автосохраненный)

Булева алгебра. Пусть множество Х состоит из двух элементов 0 и 1, Х={0,1}, Xn = {(x1, …, xn) | i = , xi  X}
Определение. Всякую переменную, которая может принимать одно из двух возможных значений, обозначаемых 0 (ложь) и 1 (истина), назовем булевой (логической) переменной.
Определение. Функция f(x1, …, xn), принимающая вместе со своими переменными значения на множестве {0,1}, называется булевой функцией (функцией алгебры логики – ФАЛ). Т.е., это функция, у которой все аргументы есть логические переменные, и сама функция принимает только логические значения.
Определение . Совокупность координат некоторого фиксированного вектора (х1, …, хn)  Х называется двоичным набором.
Совокупность значений переменных булевой функции будем называть набором. Например, для булевой функции f(x1, x2, x3) совокупность значений x1=1, x2=0, x3=1 записывается как набор 101.
Булева функция может быть задана с помощью таблицы – перечислением ее значений на всех наборах. Множество наборов принято записывать в лексикографическом порядке, так что каждый набор представляет собой код двоичного числа. Соответствующее ему десятичное число будем называть номером набора.
Пусть (х1, х2, …, хn) – логический набор, тогда х12n-122n-2+…+xn20 – номер набора.
Например:
(0,1,1) = 022 + 121+120 = 3
(0,0,1,1) = 023+022 +121+120 = 3
Вопросы для закрепления:

  1. Что представляет булева алгебра? Приведите пример.

  2. Что такое булева функция? Как может быть задана булева функция?

  3. Приведите пример логических функций одной и двух переменных.

  4. Что называют двоичным набором?

  5. Что такое номер набора?



Литература: Основная [1]; дополнительная [3]; Интернет ресурсы [1]-[4]
Тема 5 Нормальные формы формул
Количество часов 1
Основные вопросы/план темы:

  1. Нормальные формы формул. Совершенная дизъюнктивная и совершенная конъюнктивная нормальные формы.

  2. Приведение к ДНФ (СДНФ) и КНФ (СКНФ).

  3. Разрешимость.

Тезисы лекции*:


Достарыңызбен бөлісу:
1   ...   4   5   6   7   8   9   10   11   ...   26




©dereksiz.org 2024
әкімшілігінің қараңыз

    Басты бет