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

Дан фраг­мент таб­ли­цы ис­тин­но­сти вы­ра­же­ния F:

x1x2x3x4x5x6F
0100110
0010010
0101010

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

 

1)  (x1 ∧ x2) ∨ (x3 ∧ x4) ∨ (x5 ∧ x6)

2)  (x1 ∧ x3) ∨ (x3 ∧ x5) ∨ (x5 ∧ x1)

3)  (x2 ∧ x4) ∨ (x4 ∧ x6) ∨ (x6 ∧ x2)

4)  (x1 ∧ x4) ∨ (x2 ∧ x5) ∨ (x3 ∧ x6)

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

Ре­ше­ние.

Все пред­став­лен­ные здесь ва­ри­ан­ты от­ве­та  — дизъ­юнк­ции трёх конъ­юнк­ций. Все пред­став­лен­ные зна­че­ния F равны нулю. Дизъ­юнк­ция равна нулю тогда и толь­ко тогда, когда все её опе­ран­ды равны нулю.

Рас­смот­ри по­очерёдно все че­ты­ре вы­ра­же­ния.

Пер­вое вы­ра­же­ние. В пер­вой стро­ке таб­ли­цы x5 и x6 равны еди­ни­це, зна­чит, x5∧x6=1. Этот ва­ри­ант от­ве­та нам не под­хо­дит.

Вто­рое вы­ра­же­ние. Про­ве­рим все стро­ки таб­ли­цы.

Про­ве­рим первую стро­ку таб­ли­цы. (x1 ∧ x2) ∨ (x3 ∧ x4) ∨ (x5 ∧ x6)=0∨0∨0=0  — верно.

Про­ве­рим вто­рую стро­ку таб­ли­цы. (x1 ∧ x2) ∨ (x3 ∧ x4) ∨ (x5 ∧ x6)=0∨0∨0=0  — верно.

Про­ве­рим тре­тью стро­ку таб­ли­цы. (x1 ∧ x2) ∨ (x3 ∧ x4) ∨ (x5 ∧ x6)=0∨0∨0=0  — верно.

Тре­тье вы­ра­же­ние. В пер­вой стро­ке таб­ли­цы x2 и x6 равны еди­ни­це, зна­чит, x2∧x6=1. Этот ва­ри­ант от­ве­та нам не под­хо­дит.

Четвёртое вы­ра­же­ние. В тре­тьей стро­ке таб­ли­цы x1 и x4 равны еди­ни­це, зна­чит, x1∧x4=1. Этот ва­ри­ант от­ве­та нам не под­хо­дит.

 

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