Опубликовано Автор: Rulita

Найдите все интерпретации, в которых указанные формулы принимают одинаковые истинностные значения: P <-->R & ┐Q; (R↓Q)—>P

26.01.2012, 18:13

найдите все интерпретации, в которых указанные формулы принимают одинаковые истинностные значения:
P <—>R & ┐Q,  (R↓Q)—>P

Решение:
так как переменных три , то количество наборов будет 2^n=2^3=8

Построим таблицу истинности для трех переменных:

 P  R Q
 ┐Q
 R&┐Q
 P<—>R&┐Q
  (R↓Q) (R↓Q)—>P
 0  0  0  1  0  1  1  0
 0  0  1  0  0  1  0  1
 0  1  0  1  1  0  0  1
 0  1  1  0  0  1  0  1
 1  0  0  1  0  0  1  1
 1  0  1  0  0  0  0  1
 1  1  0  1  1  1  0  1
 1  1  1  0  0  0  0  1

Loading