Логика

Ответ к задаче 3

Ответ 3

На главную

Решение

Из условия видно, что:

X1 = M1 OR M2

Х2 = F2 OR F3

ХЗ = Н1 OR H3

Х4 = NOT (M1 AND M2) AND NOT (F2 AND F3) AND NOT (H1 AND H2)

Дополнительные условия, чтобы не было совпадения предметов на одну пару:

Х5 = NOT(M1 AND M2) AND NOT(M1 AND H1) AND NOT(F3 AND Н3) AND NOT(M2 AND F2)

Объединяя, получим уравнение:

X = X1 AND X2 AND X3 AND X5

CLS

FOR M1=-1 TO 0

FOR M2=-1 TO 0

FOR F2=-1TO 0

FOR F3=-1 TO 0

FOR H1=-1 TO 0

FOR H3=-1 TO 0

X1=M1 0R M2

X2=F2 OR F3

X3=H1 OR H3

X4=NOT(M1 AND M2) AND NOT(F2 AND F3) AND NOT(H1 AND H2) X5-NOT(M1 AND M2) AND NOT(M1 AND HI) AND NOT(F3 AND H3) AND NOT(M2 AND F2)

X= X1 AND X2 AND X3 AND X4 AND X5

IF X<>0 THEN

?M1;M2;F2;F3;H1;H3

NEXT

NEXT

NEXT

NEXT

NEXT

NEXT

Clrscr;

For m1:=false to true do begin

For m2:=false to true do begin

For f2:=false to true do begin

for f3:=false to true do begin

for h1:=false to true do begin

for h3:=false to true do begin

X1=Ml ORM2

X2=F2 OR F3

X3=H1 OR H3

X4= NOT(M1 AND M2) AND NOT(F2 AND F3) AND NOT(H1 AND H2) X5=NOT(M1 AND M2) AND NOT(M1 AND HI) AND NOT(F3 AND H3) AND NOT(M2 AND F2)

X= X1 AND X2 AND X3 AND X4 AND X5

IF X<>0 THEN Writeln

(M1M2,F2,F3,H1,H3);

end;

end;

end;

end;

end;

end;

Ответ: 0 -1 0 -1 -1 0

-1 0 -1 0 0 -1

хим. мат.

мат. физ.

физ. хим.

Назад

История логики
Современная логика и другие науки
Высказывания логики
Дедукция и рассуждения
Логическая форма
Основные законы логики
Об авторе
Гостевая книга

Полезные ссылки:
Программы на Visual Basic 2005
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Hosted by uCoz