УГО элементного базиса и представление функциональных схем

Основные понятия формальной логики. Понятие о логической функции, способы ее представления. Основные лог операции, понятия о тождествах и законах алгебры логики

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

Логическая функция – функция, зависящая от логической переменной.

Логическая переменная – дискретная переменная, кт принимает только 0 и 1.

Представление лог. функции: аналитический способ (в виде выражения), графический(УГО) и табличный.

Логические операции:

1. Конъюнкция (И,˄,&,*) – умножение (1^1=1) Свойства: 1*a=a; a*a=a; 0*a=0; a*ā=0;

2. Дизъюнкция (ИЛИ,˅,+) – сложение (0˅0=0) 1+a=1; 0+a=a; a+a=a; a+ā=1.

3. Инверсия (ā)

4. Импликация (a→b) – 1 всегда, кроме случая a=1, b=0.

5. Эквивалентность (a≡b) –(0≡0=1, 1≡1=1) свойства: a≡b=ab+āb; a≡а=1; a≡ā=0; a≡0=ā; a≡1=a.

6. Сложение по Модулю 2 (строгая дизъюнкция a b, a b) – (0 0=0, 1 1=0)свойства: a b=(a≡b); a a=0; a ā=1; a 0=a; a 1= ā.

Тождество – то, что не требует доказательств (A+1=1 и т.д).

Законы алгебры логики:

УГО элементного базиса и представление функциональных схем