Главная » Банк готовых работ » Дискретная математика

Используя основные эквивалентности исчисления высказываний проверить следующие равносильности

300.00руб.

Задача №62-1563.

Задание 1 
Используя основные эквивалентности исчисления высказываний проверить следующие равносильности: $$\bar{A}\bar{B}C\vee A\bar{B}C\vee A\bar{B}\bar{C}\vee AB\bar{C}\vee \bar{A}\bar{C}=\bar{B }\vee \bar{C};$$
Задание 2 
Привести следующие формулы к минимальной КНФ $$(A\vee \bar{B}\bar{C}\rightarrow \, \bar{A}\vee \bar{C})\rightarrow (\overline{B\rightarrow A\vee C});$$ Задание 3 
Перевести высказывания естественного языка на язык исчисления высказываний
Мать требовала, чтобы сын писал письма чаще и старался выполнять следующие условия:
1. Все короткие письма должны быть написаны на голубой бумаге фиолетовыми   чернилами.
2. Ты можешь мне написать длинные письма черными чернилами, если воспользуешься голубой бумагой.
3. Если письмо не будет длинным, то пиши  фиолетовыми чернилами.
Однако ни одно из этих условий не было выполнено. 
Какие письма хотела получать мать и какие письма писал сын?
Задание 4
Проверить правильность логического вывода методом прямого преобразования, методом 
семантических таблиц и методом резолюций.
Контракт будет выполнен тогда и только тогда, когда дом будет закончен в феврале.
Если дом будет закончен в феврале, то мы можем переезжать 1-го марта.
Если мы не сможем переехать 1-го марта, то мы должны внести квартирную плату за март. 
Если контракт не выполнен, то мы должны внести квартирную плату за март.
Вывод: мы не будем вносить плату за март.
    
 


Заказать консультацию напрямую у исполнителя
СКИДКА 50% на решение подобной работы!


  • Срок выполнения
    Прикрепить файл (до 5 Мб):
  • Ваш комментарий