Информатика. Программа, методические указания и контрольные задания - 35 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

3.10
3.15
3.11
3.16
3.17
3.19
3.18
3.20
4 Упростить логическое выражение
4.1 (P → Q) ∧ (Q → ¬P) ∧(R → P)
4.2 ((X↔Y) ∧ (¬X ↔ ¬Y)) → ((X∨Y) ∧ (¬X ∨ ¬Y))
4.3 (A→B) ∧ (A→(B∨C)) ∧ (B→C)
4.4 (P→R) → ((Q→R)→((P∨Q)→R))
4.5 ¬(X ∨ Z) ∧ (X → Y)
4.6 (X→(Y→Z))→((X→¬Z)→(X→¬Y))
4.7 (X ↔ Y) → (X ∧ ¬Y)
4.8 (X ∨ (Y ∧ ¬Z)) ∧ (X ∨ Z)
4.9 (X ↔ Y) ∧ ¬(Z → Y)
4.10 ((X→Y)→(Z → ¬X)) → (¬Y∨ ¬Z)
4.11 (X∧Y∧Z) ∨ (X∧Z) ∨ (Y∧Z) ∨Y∨Z
4.12 (X ∧ ¬Z) ∨ Y ∨ ¬X ∨ (Y ∧ Z) ∨ (X ∧ Y)
4.13 (Z∧(X∨¬Y))∨(¬Z∧X)∨((Z∨¬Y)∧¬Z
4.14 (X ∨ Y ∨ Z) ∧ (X ∨ ¬Y ∨ Z) ∧ (X ∨ ¬Y∨ ¬Z) ∨ (¬X ∨ ¬Y∨ ¬Z)
4.15 (¬(X∧¬Y∨¬Z)) ∧ (¬(¬X∨Y)∨X)
4.16 (A ∨ (B ∧ ¬C)) ∧ (A ∨ C)
4.17 ((P ∧ ¬Q) ∨ R) ∧ (¬P ∨ R)
4.18 ¬(A ∧ (B ∨ C)) → ((A ∧ B) ∨ C)
4.19 ((X ∧ ¬Y) → (¬X ∨ (X ∧ Y))) ∧ ((¬X ∨ (X ∧ Y)) → (X ∧ ¬Y))

Страницы