Отношение полной совместимости (равнозначности)

Схемы a и b находятся в отношении полной совместимости, или равнозначности, если и только из схемы a следует схема b, и наоборот; иными словами, в этом случае при одинаковых значениях переменных схемы a и b принимают одинаковые логические значения, и их таблицы истинности полностью совпадают. Например, в отношении полной совместимости находятся схемы высказываний “Если товарное производство расширяется, то натуральное хозяйство разлагается” и “если натуральное хозяйство не разлагается, то товарное производство не расширяется” (таблица 9).

Таблица 9

Если отношении равнозначности обозначить знаком Û, то верны по крайней мере следующие утверждения:

(1) Ø(A Ù B) ÛØ A Ú Ø B;

(2) Ø(A Ú B) Û Ø A Ù Ø B;

(3) A Ú B Û (A Ù Ø B) Ú (Ø A Ù B);

(4) A ® B ÛØ B ® Ø A;

(5) A ® B Û Ø(A Ù Ø B);

(6) Ø(A ® B) Û A ÙØ B;

(7) A ® B ÛØ A Ú B;

(8) A «B Û (A ® B)Ù(B ® A);

(9) Ø(A «B) Û A Ú B;

(10) A Û ØØ A;

(11) A Û A Ù(A Ú B);

(12) A Û (A Ú B)Ù(A ÚØ B);

(13) A Û (A Ù B)Ú(A ÙØ B);

(14) (A Ú C) Ù (B Ú Ø C) Û (A Ú C)Ù(B Ú Ø C)Ù(A Ú B);

(15) (A Ù C) Ú (B Ù Ø C) Û (A Ù C)Ú(B ÙØ C)Ú A Ù B);

(16) A Ù A Û A;

(17) A Ú A Û A;

(18) A ÙØ A Û л;

(19) A ÚØ A Û и;

(20) A Ù (B Ù C) Û (A Ù B)Ù C;

(21) A Ú (B Ú C) Û (A Ú B) Ú C.