Главная

Популярная публикация

Научная публикация

Случайная публикация

Обратная связь

ТОР 5 статей:

Методические подходы к анализу финансового состояния предприятия

Проблема периодизации русской литературы ХХ века. Краткая характеристика второй половины ХХ века

Ценовые и неценовые факторы

Характеристика шлифовальных кругов и ее маркировка

Служебные части речи. Предлог. Союз. Частицы

КАТЕГОРИИ:






Расчетно-графическая работа. Найти формулы ПНФ и ССФ, выполнить унификацию атомов дизънктов. Вариант Формула "x(A(x)®ù B(y))®$y(B(y)®ù A(x))




Найти формулы ПНФ и ССФ, выполнить унификацию атомов дизънктов.

Вариант Формула
  "x(A(x)®ù B(y))®$y(B(y)®ù A(x))
  "x(ù A(x)®$x(ù C(x)))®"x((C(x)®A(x))
  "x(A(x)®$x(B(x)))®$y(ù A(x)Úù C(y)ÚC(y)&B(x))
  "x(A(x)®$x(B(y)))®$x(ù A(x)®ù B(y))
  "x(A(x)®B(y))&"y(A(x)®(B(y)®C(z))®$z(A(x)®C(z))
  "x(A(x)®$y(B(y)®C(z)))®"z(A(x)&B(y)®C(z))
  "x(A(x)®B(z))&"y(C(y)®A(x))®$z(C(y)®B(z))
  "x(A(x)®B(y))®"y((C(y)ÚA(x))®(C(y)Ú$y(B(y)))
  "x(A(x)®B(y))&"y(A(x)®(B(y)®C(z)))®(A(x)®$z(C(z)))
  "x(A(x)®B(y)&A(x)®"y(B(y)®C(z)))®(A(x)®$z(C(z)))
  "x(A(x)®$z(B(y)®C(z)))®"y(B(y)®(A(x)®C(z)))
  ("x(A(x))®$x(B(x)))®"z((B(x)®C(z))®(A(x)®C(z)))
  ($x(ù A(x))®"x(ù B(x)))®(ù B(x)ÚA(x))
  ("x(A(x)))®("x(B(x)))®$y(C(y)&A(x)®C(y)&B(x))
  "x(ù A(x)®$y(B(y)))®(ù B(y)®A(x))
  ("x(B(x))®$x(A(x)))&$y((A(x)®C(y))®(ù C(y)&B(x)))
  "x(ù A(x)®$y(B(y)))®(B(y)ÚA(x))
  "x(ù A(x)®$y(ù B(y)))®(B(y)®A(x))
  "x(A(x)®B(x))&$y(B(x)®C(y)&$z(C(y)®D(z)))
  ("x(A(x)®B(x))&"z(C(z)®A(x)))®$y(C(z)®B(y))
  ("x(B(x)®"y(A(y)))&("y(B(y)®(A(x)®C(z))))®$z(C(z))
  "x(B(x))®$y(A(y)®B(x))
  "x(A(x)®B(x))®("y(C(y)®A(x))®$z(C(z)®B(x)))
  "x(B(x)®A(y))&(B(x)®"y(A(y)®C(z)))®$z(C(z)))
  $x(A(x)®B(z))®$y(C(y)ÚA(x)®"z(C(y)ÚB(z)))
  ("x(B(x))®$x(A(x)))&(A(y)®$yC(y))®(ù A(x)ÚC(y))
  ("x(A(x))®$x(B(x)))®$y((A(x)ÚC(y))®(B(x)ÚC(y)))
  $x(A(x)®"y(B(y)))&(ù A(x)®"y(B(y)))®B(y)
  "x(A(x)®$y(B(y)))&(ù A(x)®B(x))®B(x)
  "x(ù A(x))®(A(x)®$y(B(y)))
  ($x(B(x))®"x(A(x)))&(ù B(x)®A(x))®A(x)
  ("x(B(x))®$x(C(x)))®(A(y)&B(x)®A(y)&C(x))
  $x(A(x)®B(y))®"y"z((C(z)®A(x))®(C(z)®B(y)))
  ("x(A(x))®$x(C(x)))&"y(C(x)®B(y))®(A(x)®B(y))
  "x(A(x))®$y(B(y))&"y(C(y)®$xD(x))®(A(x)&C(y)) &D(y))
  "x(A(x))®(ù A(x)®$y(B(y)))
  "x(B(x))®$y(A(y)®B(x))
  "x(B(x)®"y(A(y)))&"y(B(y)®(A(x)®C(z)))®$z(B(z) C(z))
  "x(B(x)®A(y))&(B(x)®"y(A(y)®C(z)))®$z(B(x)®C(z))
  "x(A(x)®B(x))®"y((C(y)®A(x))®(C(y)®B(x)))
  ("x(ù A(x)®$y(ù C(y)))®(C(x)®A(x))
  "x(A(x)®ù B(y))®$y(B(y)®ù A(x))
  $x(A(x)®B(z))®$y((C(y)ÚA(x))®"z(C(y)ÚB(z)))
  "x(A(x)®B(y))&"z(C(z)®A(x))®$y(C(z)®B(y))
  "x(A(x)®B(x))&$y(B(x)®C(y))&$z(C(y)®D(z)))
  "x(ù A(x)®$y(ù B(y)))®(B(x)®A(x))
  "x(ù A(x)®$x(B(x)))®(B(x)ÚA(x))
  ("x(B(x)®$y(A(y))))&$y(A(x)®C(y))®ù C(y)&B(x)
  ("x(ù A(x)®$y(B(y))))®(ù B(x)®A(x))
  "x(A(x)®B(y))&"y(A(x)®(B(y)®C(z)))®$z(A(x)®C(z))

 

 

Литература

1. Вагин В.Н. Дедукция и обобщение в системах принятия решений.- М.: Наука, 1988г. – 384 с.

2. Войшвилло Е.К., Дектярев М.Г. Логика как часть теории познания и научной методологии. кн.1. Учебное пособие. –М.: Наука, 1994г. –312с.

3. Зегет В. Элементарная логика. - М.: Высшая школа, 1985г..- 256 с.

4. Кириллов В.И., Старченко А.А. Логика. - М.: Высшая школа, 1987г.– 271с.

5. Kузнецов О.П., Андельсон-Вельский Г.М. Дискретная матема­тика. для инженера.- М.: Энергоатомиздат, 1988г.—480 с.

6. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, матeмaтичecкoй логике и теории алгоритмов 240с.

7. ЛихтарниковЛ.М., Сукачева Т.Г. Математическая логика /курс лекций/ - СПб.: “Лань”, 1998г..-288с.

8. Першиков В.И., Савинков В.М. Толковый словарь по информатике – М.: Финансы и статистика, 1991г. –543с.

9. Пономарев В.Ф. Математические методы и модели в обработке информации и управлении. Методические разработки по разделу “Формальные системы”- Калининград: КГТУ, 1992г..

10. Роберт P. Столл. Множества. Логика. Аксиоматические теории.- М.: Просвещение, 1968. – 231 с.

 

Предметный указатель

Аксиомы исчисления высказываний, 45, 49

Алгебра высказываний, 7

Алгебра предикатов, 92






Не нашли, что искали? Воспользуйтесь поиском:

vikidalka.ru - 2015-2024 год. Все права принадлежат их авторам! Нарушение авторских прав | Нарушение персональных данных