<<
>>

Основные равносильности.

Для любых формул А, В и С справедливы следующие равносильности:

A & B º B & A; A & A º A; A & (B & C) º (A & B) & C;

A U B º B U A; A U A º A; A U (B U C) º (A U B) U C;

A U (B & C) º (A U B) & (A U C); A & (B U C) º (A & B) U (A & C);

A & (A U B) º A; A U (A & B) º A; OOA º A; O(A & B) º OA U OB;

A º (A & B) U (A & OB); A º (A U B) & (A U OB);

<< | >>
Источник: Архаров Евгений Валерьевич. Учебно–методический комплекс по дисциплине Математика Нижний Новгород, 2011. 2011

Еще по теме Основные равносильности.: