Логические функции. Основные соотношения алгебры логики. !!! Логическая функция –это функция, у которой аргументы и она сама могут принимать лишь 2 значения – 0 и 1

!!! Логическая функция – это функция, у которой аргументы и она сама могут принимать лишь 2 значения – 0 и 1

Для построения и работы с логическими функциями используют основные соотношения (законы) алгебры логики:

1.аксиома 1:

2.аксиома 2:

3.аксиома3:

4.аксиома4:

5.закон исключенного третьего: (или одно или другое истино)

6.закон противоречия (не могут выполняться одновременно)

7.двойного отрицания

8.коммутативности (переместительный)

9.ассоциативности (сочетательный)

10.Правила де Моргана: НАПРИМЕР: Пусть Х – Петя умеет играть в шахматы, У – Петя умеет играть в шашки, тогда это отрицание того, что Петя умеет играть в шахматы или шашки, т.е. получается, что Петя не умеет играть ни в шахматы, ни в шашки.

11.Дистрибутивности:

12.Поглощения:

13.Склеивания: