Основные аксиомы алгебры-логики

ОСНОВНЫЕ ТЕОРЕМЫ И АКСИОМЫ АЛГЕБРЫ ЛОГИКИ (БУЛЕВОЙ АЛГЕБРЫ)

На основании аксиом, законов и тождеств алгебры-логики можно во многих случаях СДНФ и СКНФ логических функций преобразовать к более простой форме представления, которая называется минимизированной. Ниже приведены основные соотношения алгебры-логики, в которых А.В, С явля­ются как логическими переменными, так и логическими функциями.

=

(1) 1+А = 1, 0·А = 0; (3) А+А = А, А·А = А; (5) А = А.

(2) 0+А = А, 1· А = А: (4) A+A = 1, A·A = 0;

Дата добавления: 2014-01-14; Просмотров: 314; Нарушение авторских прав?; Мы поможем в написании вашей работы!