Математика. Раздел 1. Дискретная математика. Тетрадь 1.2. Казанцев Э.Ф. - 52 стр.

UptoLike

ВУЗ: 

МУМ | Москва

Составители: 

Рубрика: 

б) A É ØA = A;
в) A Ú (ØA & B) = A Ú B.
4) Про ве рить пра виль ность сле дую ще го рас су ж де ния:
«Ес ли Джонс не встре чал этой но чью Сми та, то ли бо Смит был
убий цей, ли бо Джонс лжет. Ес ли Смит не был убий цей, то Джонс не
встре чал Сми та этой но чью и убий ст во име ло ме сто по сле по лу но чи.
Ес ли убий ст во бы ло со вер ше но по сле по лу но чи, то ли бо Смит был
убий цей, ли бо Джонс лжет. Сле до ва тель но, Смит был убийцей».
5) При вес ти к ДНФ и КНФ сле дую щие фор му лы:
а) (x
1
& x
2
) É (Øx
2
& x
3
);
б) Ø(Ø(x
1
Ú Øx
2
) É (x
2
& Øx
1
);
в) (Øx
1
É x
2
) ~ (x
2
~ x
3
).
     б) A É ØA = A;
     в) A Ú (ØA & B) = A Ú B.

      4) Проверить правильность следующего рассуждения:
      «Если Джонс не встречал этой ночью Смита, то либо Смит был
убийцей, либо Джонс лжет. Если Смит не был убийцей, то Джонс не
встречал Смита этой ночью и убийство имело место после полуночи.
Если убийство было совершено после полуночи, то либо Смит был
убийцей, либо Джонс лжет. Следовательно, Смит был убийцей».

     5) Привести к ДНФ и КНФ следующие формулы:
     а) (x1 & x2) É (Øx2 & x3);
     б) Ø(Ø(x1 Ú Øx2) É (x2 & Øx1);
     в) (Øx1 É x2) ~ (x2 ~ x3).

Страницы