Контрольна з логіки за 2 курс КПУ

Задание:Задача 1: Знайдіть поняття, відношення між якими відповідали б приведеним графічним схемам; Задача 2: Відомо, що А – «1». Що можна сказати про значення істинності таких імплікацій. а) (?^В) ? С; в) (ВvСvД) ? (Аv?); с) (В^С) ? (АvС) Обґрунтування відповіді дайте під кожною з формул, виділивши остаточний результат. Задача 3: 1. Використавши діаграми Ейлера, які зображають п’ять логічно можливих способів зв’язку непустих множин, визначте: а) якщо А(SP), то які два взаємно виключаючі способи, котрими можуть бути зв’язані S і P? в) якщо І(SP), то які чотири взаємно виключаючі способи, котрими можуть бути зв’язані S і P? с) якщо О(SP), то які три взаємно виключаючі способи, котрими можуть бути зв’язані S і P? Задача 4: Визначте істинність висловлювань: а) (((1?0) ?1) ?1) ?0; в) А? (1v1v0); с) (1v0)?(1^1^0) Обґрунтування відповіді дайте під кожною з формул, виділивши кінцевий результат.