Задания
Версия для печати и копирования в MS Word
Тип Д12 № 7659
i

Для таб­ли­цы ис­тин­но­сти функ­ции F из­вест­ны зна­че­ния толь­ко не­ко­то­рых ячеек:

 

x1x2x3x4x5x6x7F
101
001
010

 

Каким вы­ра­же­ни­ем может быть F?

1)  x1 ∧ x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ x6 ∧ ¬x7

2)  x1 ∨ ¬x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ x6 ∨ ¬x7

3)  ¬x1 ∧ x2 ∧ ¬x3 ∧ x4 ∧ x5 ∧ x6 ∧ x7

4)  x1 ∨ x2 ∨ ¬ x3 ∨ x4 ∨ x5 ∨ ¬x6 ∨ x7

Спрятать решение

Ре­ше­ние.

Про­ана­ли­зи­ру­ем каж­дый ва­ри­ант.

Пер­вый ва­ри­ант не под­хо­дит, по­сколь­ку в пер­вой стро­ке пе­ре­мен­ная ¬x4 = 0, сле­до­ва­тель­но, F долж­но об­ра­щать­ся в нуль, что не со­от­вет­ству­ет таб­ли­це ис­тин­но­сти.

Вто­рой ва­ри­ант под­хо­дит.

Тре­тий ва­ри­ант не под­хо­дит, по­сколь­ку во вто­рой стро­ке пе­ре­мен­ная x4 = 0, сле­до­ва­тель­но, F долж­но об­ра­щать­ся в нуль, что не со­от­вет­ству­ет таб­ли­це ис­тин­но­сти.

Четвёртый ва­ри­ант не под­хо­дит, по­сколь­ку в тре­тьей стро­ке пе­ре­мен­ная x4 = 1, сле­до­ва­тель­но, F долж­но быть равно 1, что не со­от­вет­ству­ет таб­ли­це ис­тин­но­сти.

 

Ответ: 2.

Радик Радиков (Черкесск) 24.03.2015 19:48

Здрав­ствуй­те. Объ­яс­ни­те по­жа­луй­ста, как ре­шать такие за­да­чи? Имен­но не пол­но­стью за­пол­нен­ные таб­ли­цы

Петр Мурзин

Здрав­ствуй­те.

Вас не долж­но сму­щать что таб­ли­ца за­пол­не­на не пол­но­стью. Ана­ли­зи­руй­те каж­дый ва­ри­ант и ис­клю­чай­те те, ко­то­рые точно не под­хо­дят, в итоге оста­нет­ся един­ствен­ный под­хо­дя­щий.

Рас­смот­рим ещё раз по­че­му не под­хо­дит пер­вый ва­ри­ант x1 ∧ x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ x6 ∧ ¬x7. В пер­вой строч­ке таб­ли­цы ис­тин­но­сти ука­за­но что x4=1, сле­до­ва­тель­но, ¬x4=0. В таком слу­чае всё вы­ра­же­ние для пер­во­го ва­ри­ан­та равно нулю, а это про­ти­во­ре­чит пер­вой строч­ке таб­ли­цы ис­тин­но­сти.

Гость 31.03.2015 12:58

Здрав­ствуй­те, пе­ре­смот­ри­те, по­жа­луй­ста, это за­да­ние. Я уве­рен, что оно со­став­ле­но со­вер­шен­но не­вер­но. т.к

для вто­ро­го ва­ри­ан­та от­ве­та в пер­вой строч­ке ¬x4=0, x6=0, по­лу­ча­ет­ся 0 v 0 = 1.Прошу рас­смот­реть!

Петр Мурзин

Здрав­ствуй­те.

Усло­вие зву­чит так: «Каким вы­ра­же­ни­ем может быть F?». В дан­ном при­ме­ре F может быть вто­рым ва­ри­ан­том. Не­смот­ря на то что в пер­вой строч­ке ¬x4=0 и x6=0 , мы не знаем какие зна­че­ния при этом имеют дру­гие пе­ре­мен­ные (одна из них может ока­зать­ся равна 1).

По­это­му мы ищем те ва­ри­ан­ты, ко­то­рые точно не могут яв­лять­ся F.

Александр Ринкевич 18.02.2016 22:37

Как вы­ра­же­ние 2 может под­хо­дить для 1 стро­ки таб­ли­цы, если не х4=0, х6=0?

Прошу от­ве­тить.

C ува­же­ни­ем Сте­па­но­ва Т.П.

Никита Горохов

Вто­рое вы­ра­же­ние не про­ти­во­ре­чит пер­вой стро­ке, по­сколь­ку в пу­стые клет­ки стро­ки можно под­ста­вить такие зна­че­ния пе­ре­мен­ных, что вы­ра­же­ние будет равно 1.