Главная | Обратная связь | Поможем написать вашу работу!

Из трех высказывани 4 страница

ЛОГИЧЕСКОЕ_СЛЕДОВ

1.55. Формулы F_i (P, Q, R) и G_j

переменных заданы своими таблица

P Q R F₁ F₂ F₃ G₁ G₂

Выясните, какие из формул G_j

ствиями трех формул _F ₁, F₂, F₃?

Решение.Например,формула

формул F1, F2, F3 _так, как при P

принимают значение 1, формула G

1.56. Докажите,ачто имеет местводствуясь определением этого по

обеих формул). , ли

Выясните будут

а) (P → Q)→ R ╞═ P →(Q

P Q R

(X Y)∨(X ∧ Y) X ↔ Y

∧

X ^→ Y

X _∧ Y

X _∨ Y

X ∨ _Y

1.52.Определите,для какой из формул,записанных справа,формула,за

писанная слева, СКН- формой. -

является

(X ∨ Y) ( ∨ Y) (X ∨ Y) X → _Y

∧ X ∧

X ∧ Y

X ↔ Y

X _∧ Y

X _∨ Y

1.53.Определите,для какой из формул,записанных справа,формула,за

писанная слева, СДН -формой. -

является

Z →(X ∧ Y

(X ∧ Y ∧ Z ∨(X ∧ Y ∧ Z ∨(X ∧ Y ∧ Z )

) ) )

(X ∧ Z Y

)

→

(X Y → Z

(( ∧ ) Y → )

∨ Z

X )

(X Y

∧ ) Z

→

1.54.Определите,для какой из формул,записанных справа,формула,за

писанная слева, СКН-формой. -

является

(X ∧ Z (Y ↔ Z)

(X ∨ Y ∨ Z (X ∨ Y ∨ Z)∧(X ∨ Y ∨ Z )

→

) )

(X ↔ Y (X ∧ Z

∧

) )

→

(X ∨ Y (X ∧ Z

) )

→

(Y ↔ Z →(X ∨ Y

) )