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

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

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

A Ú B º B Ú A; A Ú A º A; A Ú (B Ú C) º (A Ú B) Ú C;

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

A & (A Ú B) º A; A Ú (A & B) º A; ØØA º A; Ø(A & B) º ØA Ú ØB;

A º (A & B) Ú (A & ØB); A º (A Ú B) & (A Ú ØB);

< Предыдущая		Следующая >