Логические функции. Логической (булевой) функцией называют функцию F(x 1,x 2,...,x n ), аргументы которой x 1,x 2,...,x n (независимые переменные) и сама.

Презентация:



Advertisements
Похожие презентации
Логической функцией называют функцию F(X 1, X 2, … X n ), аргументы которой X 1, X 2, … X n (логические переменные) и сама функция (логическая переменная)
Advertisements

Логической функцией называют функцию F(X 1, X 2, … X n ), аргументы которой X 1, X 2, … X n (логические переменные) и сама функция (логическая переменная)
Логические функции F(x 1, x 2, …, x n ) – сложное логическое выражение. Логическая функция Аргументы функции – x 1, x 2, …, x n – простые логические.
содержание 1определение 1.определение 2.логическоеотрицание 2.логическое отрицание 3.логическое сложение 4.логическое умножение 5логическоеследование.
Логика в информатике Решение уравнений. Логические основы ПЭВМ.
Нормальные формы ХНУРЭ, кафедра ПО ЭВМ, Тел , Лекция 6 Н.В. Белоус Факультет компьютерных наук Кафедра ПО ЭВМ,
ФОРМЫ ПРЕДСТАВЛЕНИЯ ВЫСКАЗЫВАНИЙ Элементарной дизъюнкцией называется выражение вида: Элементарной конъюнкцией называется выражение вида: Где A i - либо.
Область определения и область значений функции. Вспомним Что такое функция? Что такое область определения функции Что такое область значений функции Функцией.
1 Совершенная дизъюнктивная нормальная форма и совершенная конъюнктивная нормальная форма Логические основы ЭВМ 10 класс Белоусова Елена Ивановна, учитель.
Элементы математической логики. Высказывание Объект изучения – высказывание. Высказывание – предложение (сообщение) об объективно существующей действительности,
Цели урока: Ввести: Ввести: Понятие функции Понятие функции Способы задания функции Способы задания функции Расширять кругозор учащихся Расширять кругозор.
ЛОГИЧЕСКИЕ ОСНОВЫ ЭВМ 1) АЛГЕБРА ЛОГИКИ 2) СИНТЕЗ ЛОГИЧЕСКИХ СХЕМ.
Нормальные формы в математической логике Подготовил: Шинкарёв Г. Г. ГИП-104.
Булевы переменные и функции Булевыми переменными называются переменные, принимающие значение 0 или 1. Булевы (или логические) функции оперируют с булевыми.
Часть I Системы счисления. Лекция 2. Лекция 2. Системы счисления. Логические функции 2 //Надо работать не 12 часов в сутки, а головой. Стив Джобс//
Алгебра высказываний Угринович Н. Информатика и информационные технологии п Алгебра высказываний. – с.125.
Таблицы истинности логических функций. Таблицей истинности логической функции принято называть табличное представление логической операции, в котором.
Таблица истинности составных высказываний – это таблица, которая показывает какие значения принимает составное высказывание при всех сочетаниях значений.
1 Лабораторная работа 1 ПОСТРОЕНИЕ КОМБИНАЦИОННЫХ СХЕМ НА ЛОГИЧЕСКИХ ЭЛЕМЕНТАХ Министерство образования Российской Федерации Казанский государственный.
Математикилогики В основе число, переменная высказывание (логическая переменная)
Транксрипт:

Логические функции

Логической (булевой) функцией называют функцию F(x 1,x 2,...,x n ), аргументы которой x 1,x 2,...,x n (независимые переменные) и сама функция (зависимая переменная) принимает значения 0 или 1. Сколько наборов возможных значений может иметь логическая функция от 2 аргументов? ? АВ F(0,0) 1 набор F(0,1) 2 набор F(1,0) 3 набор F(1,1) 4 набор 4 набора Таблицу, показывающую, какие значения принимает логическая функция при всех сочетаниях значений ее аргументов, называют таблицей истинности логической функции.

Количество функций от 2 аргументов равно n, где n –количество наборов т.е. 2 4 =16 Аргументы Логические функции двух переменных АВ F1F1 F2F2 F3F3 F4F4 F5F5 F6F6 F7F7 F8F8 F9F9 F 10 F 11 F 12 F 13 F 14 F 15 F Каждая логическая функция задается своей таблицей истинности (табличный способ записи функции).

Аналитический вид функции Если логическая функция представлена с помощью дизъюнкций, конъюнкций и инверсий, то такая форма представления называется нормальной нормальной. совершенными Среди нормальных форм выделяют такие, в которых функция записывается единственным образом. Эти формы называют совершенными. F(x,y) = (x y) ( x y) – дизъюнктивная нормальная форма F(x,y) = (x y) ( x y) – конъюнктивная нормальная форма

Правила записи функции в аналитическом виде Для всех наборов, где функция равна 0, записать дизъюнкции переменных, инвертируя те переменные которым соответствует значение 1. Затем дизъюнкции соединить знаком конъюнкции. ABF 5 (A,B)КНФ 000 A B 010 A ¬B ¬A ¬B СКНФ СКНФ F 5 (A,B)= (A B) (A ¬B) (¬A ¬B) аналитический способ записи функции СКНФ (совершенно конъюнктивная нормальная форма)

Правила записи функции в аналитическом виде Для всех наборов, где функция равна 1, записать конъюнкции переменных, инвертируя те переменные которым соответствует значение 0. Затем конъюнкции соединить знаком дизъюнкции. ABF 6 (A,B)ДНФ ¬ A B A B СДНФ СДНФ F 6 (A,B)= (¬A B) (A B) аналитический способ записи функции аналитический способ записи функции. СДНФ(совершенно дизъюнктивная нормальная форма)