Презентация по теме "Упрощение логических выражений"
учебно-методический материал по информатике и икт (10 класс)

Слайд 2

Упрощение логических выражений

Слайд 3

Упрощение логических выражений

Слайд 4

Логические основы компьютеров § 22. Синтез логических выражений

Слайд 5

Определения Если логическая функция выражена через дизъюнкцию, конъюнкцию и отрицание переменных, то такая форма представления называется нормальной . Среди нормальных форм выделяют такие, в которых функции записываются единственным образом. Их называют совершенными . Формулу называют элементарной конъюнкцией , если она является конъюнкцией одной или нескольких переменных, взятых с отрицанием или без отрицания.

Слайд 6

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

Слайд 7

Синтез логических выражений (СДНФ) A B X 0 0 1 0 1 1 1 0 0 1 1 1 Шаг 1. Отметить строки в таблице, где X = 1 . Шаг 2. Для каждой из них записать логическое выражение, которое истинно только для этой строки. Шаг 3. Сложить эти выражения и упростить результат. распределительный исключения третьего исключения третьего распределительный

Слайд 8

Синтез логических выражений (СКНФ) A B X 0 0 1 0 1 1 1 0 0 1 1 1 Шаг 1. Отметить строки в таблице, где X = 0 . Шаг 2. Для каждой из них записать логическое выражение, которое истинно только для этой строки. Шаг 3. Сложить эти выражения и упростить результат, который равен . Шаг 4. Сделать инверсию. Когда удобнее применять 2-ой способ? ?

Слайд 9

Синтез логических выражений (СКНФ) A B X 0 0 0 0 1 1 1 0 0 1 1 1 Шаг 1. Отметить строки в таблице, где X = 0 . Шаг 2. Для каждой из них записать логическое выражение, которое ложно только для этой строки. Шаг 3. Перемножить эти выражения и упростить результат .

Слайд 10

Синтез логических выражений (СДНФ) A B C X 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1

Слайд 11

Синтез логических выражений ( СКНФ) A B C X 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1

Слайд 12

Синтез логических выражений Пример