Задача.

1. Основы схемотехники: методические указания к курсовой работе./ В.А. Матвиенко.- Екатеринбург: УрТИСИ ГОУ ВПО «СибГУТИ», 2010.

2. Транзисторы для аппаратуры широкого применения. Справочник./Б. Л. Перельмана.- М.: Радио и связь, 1981.

3. Резисторы, конденсаторы, трансформаторы, дроссели, коммутационные устройства РЭА: Справочник. Н.Н. Акимов, Е.П. Ващуков, В.А. Прохоренко, ЮП. Ходоренок.-Минск:Беларусь,1994.

4. Элементы схем бытовой радиоаппаратуры. Конденсаторы. Резисторы: Справочник/ А.И. Аксенов, А.В. Нефедов. -М.: Радио и связь,1995.

5. Транзисторы для аппаратуры широкого применения: Справочник/ К.М. Брежнева, Е.И. Гантман, Т.И. Давыдова. Под ред. Б.Л. Перельмана.- М.: Радио и связь,1981.

Задача.

Брауну, Джону и Смиту предъявляется обвинение в ограблении банка. В процессе следствия выясняется, что преступники скрылись на поджидавшем их автомобиле, а каждый из обвиняемых на допросе с целью запутать следствие из двух высказываний об автомобиле дали верный только один ответ.

Браун сказал, что преступники были на синем Бьюике.

Джон сказал, что это был чёрный Крайслер.

Смит сказал, что это был Мерседес и не синий.

Какого цвета и какой марки был автомобиль?

Первый шаг решения – надо формализовать условие: через А1 обозначим машину синего цвета, А2 – машину чёрного цвета. В1 – машина марки Бьюик, В2 – машина марки Крайслер, В3 – машина марки Мерседес.

Основное условие формализации – каждый правильно указал или марку машины, или её цвет. Здесь это «исключающее ИЛИ» - либо одно, либо другое.

Запишем условие задачи при помощи этих переменных.

Brown: A1 OR B1 = 1 (и)

John: A2 OR B2 = 1 (и)

Smith: (NOT A1) OR B3 = 1

NOT [(A1 OR B1)*(A2 OR B2)] * [(NOT A1) OR B3] = 1

= (A1*A2 OR AA1*B2 OR A2*B1 OR B1*B2)*((NOT A1) OR B3) = (NOT A1)*A2*B1 OR (NOT A1)*B1*B2 OR A2*B1*B3 OR B1*B2*B3

Получили Бьюик чёрного цвета.