21. Установите, является ли выражение логическим законом.

(( (А^В)л(С^В))л (А^))^В;
(((А^В)л(А^С))л (—Вv—С))^—А:
(А^В)^((С^А)^(С^В));
(( (А^В)л(А^С))лА)^(^С);
(А^В)^((В^С)^(А^С));
((АлВ)^С) = А^(В^С);
(А^(В^С))^((А^В)^(А^С));
(( (А^В)л(А^С))л (^С))^ ^А;
— ^ВМАлВМ—Ал—В);
(А^(В^С))=(В^(А^С));
((А^В)л(В^С))^(А^С);
(А^(В^СЖ(АлВ)^С);
(Ал^СМАлВМАлС);
Аv(ВлС)=(АлВ)л(АлС);
((АуВ)л С)^(ВлС^А;
— (А v(ВлС))=—Аv(Вл— С);
(А^С) ^ ((А^В) л л(В^С));
((А=В)л(В=С))^(А=С);
(А^В)^((В^С)^(А^С));
(А^В)л(С^В) = ((Аv—С) ^В);
(АлВ)vС=Ал(ВvС);
(А^(В^СМАлВ)^С;
(^В^С)^^^С));
((АлВ)лС) ^(Ал(ВлС));
((А^В)л(В^С))^(А^С);

<< | >>

↑

Источник: Гомбоева Л.В.. Индивидуальные контрольные задания по логике с методическими указаниями по их решению. 2003

Еще по теме 21. Установите, является ли выражение логическим законом.: