Логика

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

Ответ 1

На главную

Решение

Обозначим высказывания буквами соответственно А, В, С, D, E,F.

Так как только одно из высказываний истинно, то имеем исключающую дизъюнкцию, которая будет истинна:

A XOR В

C XOR D

E XOR F

Кроме того, ложными будут высказывания:

A AND С

B AND С

D AND F

В AND E

С AND E

а, следовательно, истинными:

NOT(A AND С)

NOT(B AND C)

NOT(D AND F)

NOT(B AND E)

NOT(C AND E)

Соединяя первую группу истинных высказываний в X1, а вторую в Х2 получим X = Х1*Х2. Получив таблицу истинности, решим:

CLS cirscr;

PRINT " А В С D EF"

writeln ('a': 10, b ':10, 'c': 10, 'd': 1(), 'e': 10 'f' 1())

F0R A=-1 TOO

FOR B=-1 TOO

FOR C=-1 TOO

FOR D--1TO0

FOR E=-1 TOO

FOR F-1TO0

X1=(A XOR B) AND (C XOR D)

AND (E XOR F)

X2=NOT(A AND C) AND NOT(B

AND C) AND NOT(D AND F)AND

NOT(B AND E) AND NOT(C AND E)

X=X1 AND X2

IF X<>0 THEN PRINT

A;B;C;D;E;F,X

NEXT

NEXT

NEXT

NEXT

NEXT

NEXT

for a:=faise to true do begin

for b:=false to true do begin

for c:=false to true do begin

for c:=false to true do begin

for e: =false to true do begin

for f:-false to true do begin

x1:=(a xor b) and (c xor d) and (e xor f);

x2:=(not(a and c)) and (not(b and c)) and (not(d and f))

and (not(b and e)) and (not(c and e));

x:=x1 and x2;

if x<>false then begin

write(a:10,b:10,c:10,d:10,e:10f:10);

end;

end;

end;

end;

end;

end;

end;

Ответ.

Результат работы программы: -1 0 0 -1 -1 0.

Назад

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

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