Изучение и характеристика закона функционирования сложных логических устройств, который записывается в виде алгебраического выражения. Рассмотрение содержания и понятия конституенты нуля, называемого макстермом. Ознакомление с таблицей истинности.
Представим эту функцию в виде суммы четырех (по числу номеров наборов) конъюнкций двух таких переменных, каждой из которых в таблице истинности соответствует свой набор значений x2 и x1, на котором конъюнкция этих переменных принимает единичной значение: f(x2, x1) = . Следовательно, СДНФ функции алгебры логики представляет собой алгебраическое выражение, которое составлено из дизъюнкции конституент единицы и принимает значение, равное 1 на тех наборах значений переменных, на которых значение заданной функции равно 1. Для составления алгебраического выражения в СДНФ следует взять дизъюнкцию таких конституент единицы, которые соответствуют наборам значений переменных, на которых функция равна 1: f(x1, x2, … , xn) = f(j1, j2, … , jm) = Kj1, Kj2, … , Kjm, где j1, j2, … , jm - номера наборов значений переменных, на которых функция равна 1; Здесь первое слагаемое (конституента 1) принимает единичное значение на наборе 001, соответствующем номеру 1, второе - на наборе 101, соответствующем номеру 5, третье - на наборе 111, соответствующем номеру 7. Здесь первый множитель (конституента 0) принимает нулевое значение на наборе 000, соответствующем номеру 0; второй - на наборе 010, соответствующем номеру 2; третий - на наборе 011, соответствующем номеру 3; четвертый - на наборе 100, соответствующем номеру 4; пятый - на наборе 110, соответствующем номеру 6.
Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность своей работы
