Предикаторы и минимизация дизъюнктивных нормальных форм

Дисциплина Математическая логика и теория алгоритмов

Заказчик	privetyaelf ☆ 0 ✍ 1 ♥ 0
Вид работы	Шпаргалки
Срок	08.04.2016
Вариант	Не указан
Бюджет	500 ₽

 3.	Используя двухместные предикаты P (x, y) – “мужчина (x) и женщина (y) являются супругами”, Q (x, y) – “человек х является родителем у” и одноместный предикат M (x) – “человек х мужского пола” выразите формулой над ними (с кванторами) предикат на множестве людей “x, y, и z – три родные сестры, их родные супруги”.
 5.	Для данной функции f построить совершенные ДНФ, КНФ, полином Жегалкина, сокращенную, тупиковые и минимальные ДФН.
 f = 1001 1010 0101 1010.