60

Исчисление высказываний. 3 задачи

ID: 144056
Дата закачки: 16 Июля 2014
Продавец: Максим (Напишите, если есть вопросы)
    Посмотреть другие работы этого продавца

Тип работы: Работа

Описание:
Контрольная работа.
Исчисление высказываний 3 задачи
Задание №1
Построить таблицу истинности и по ней получить форму в базисе ¬,∨,∧ эквивалентную формуле : ((p≡q)≡(p≡r))≡((q≡r)≡p)

Задание №2
Выяснить эквивалентны ли формулы :
a) (p⊃q)∨r
b) (p∨r)⊃(q∨r)

Задание №3
Доказать в теории исчисления высказываний данное утверждение:

Размер файла: 18,4 Кбайт
Фаил: (.docx)

Скачать

Добавить в корзину

Занесено в корзину

    Скачано: 1         Коментариев: 0

Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них.
Опять не то? Мы можем помочь сделать!

Некоторые похожие работы:

Математическая логика и теория алгоритмов. Контрольная работа. Вариант №9
Математическая логика и теория алгоритмов. Контрольная работа. Вариант № 9
Контрольная работа №1 по предмету: Математическая логика и теория алгоритмов. Вариант: 10
Контрольная работа № 1 по дисциплине: Математическая логика и теория алгоритмов. Вариант №5
Математическая логика и теория алгоритмов. Контрольная работа. Вариант №8
Онлайн-Тест по дисциплине:Математическая логика и теория алгоритмов. Помогу с вашим онлайн тестом
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 05.
Ещё искать по базе с такими же ключевыми словами.