Ответ 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. |
История логики | |
Современная логика и другие науки | |
Высказывания логики | |
Дедукция и рассуждения | |
Логическая форма | |
Основные законы логики | |
Об авторе | |
Гостевая книга | |
Полезные ссылки: | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  | |
  |