Каталог статей
| Главная » Статьи » Алгебра высказываний |
| В категории материалов: 430 Показано материалов: 101-150 |
Страницы: « 1 2 3 4 5 ... 8 9 » |
Сортировать по: Дате · Названию · Комментариям · Просмотрам
|
96 Табл. 3 |
|
95 Табл. 2 |
|
94 Таблица 1 |
|
93 U = U(A,B,C). |
|
92 X. Y. ------------ X → Y. |
|
91 M → X. X → Y. ------------- M → Y. |
|
90
|
|
89
|
|
88
|
|
87
|
|
86
|
|
85 А Ꚛ В → А ˅ В. A ˅ B ↔ ˥(A ˄ B). --------------------------- А Ꚛ В → ˥(A ˄ B). |
|
84
(А ˄ В) → А. A → ((А ˄ В) → А). --------------------------- (А ˄ В) → (А ↔ В). |
|
83 (A ˄ B) ↔ (A ˄ B). (A → B) ↔ (A ˄ B). --------------------------- (A ˄ B) ↔ (A → B). |
|
82
(A ˄ B) ↔ (A → B). (A → B) ↔ (A ˄ B). ---------------------------- (A ˄ B) ↔ (A ˄ B). |
|
81
(A ˅ B) ↔ ˥(A ˄ B). (A ˅ B) ↔ (A → B). ------------------------ (A → B) ↔ ˥(A ˄ B). |
|
80
(A ˅ B) ↔ (A → B). (A → B) ↔ ˥(A ˄ B). ----------------------------- (A ˅ B) ↔ ˥(A ˄ B). |
|
79
(А ˄ В) → В. В → (А → В). ----------------------- (А ˄ В) → (А → В). |
|
78
˥(A ˄ B) → (A ˅ B). (A ˅ B) → (A → B). ---------------------------- ˥(A ˄ B) → (A → B). |
|
77
(A ˄ B) → ˥(A ˄ B). ˥(A ˄ B) → (A → B). ----------------------- (А ˄ В) → (A → B). |
|
76
(A ˄ B) → ˥(A → B). (A → B) → ˥(A → B). ---------------------------- (A ˄ B) → (A → B). |
|
75
(A ˄ B) → (A ↔ B). (A ↔ B) → (A → B). --------------------------- (A ˄ B) → (A → B). |
|
74
(A ˅ B) → (A → B). A → (A ˅ B). ------------------------ A → (A → B). |
|
73 A → B. А. --------- A → B. |
|
72
(A ˄ B) → ˥(A ˄ B). (A ˅B ) → ˥(A ˄ B). ---------------------------- (A ˄ B) → (A ˅ B). |
|
71
(A ˄ B) → (A ˅ B). (A ˄ B) → ˥(A ˄ B). --------------------------- (A ˅B ) → ˥(A ˄ B). |
|
70
(A ˄ B) → (A ˅ B). (A ˅B ) → ˥(A ˄ B). ----------------------------- (A ˄ B) → ˥(A ˄ B). |
|
69
(А ˄ В) → (A → B). ˥(A ˄ B) → (A → B). ------------------------- (A ˄ B) → ˥(A ˄ B). |
|
68 (A → B) ↔ (A ˅ B). |
|
67 (A → B) ↔ ˥(A ˄ B). |
|
66 (A → B) ↔ (B → A). |
|
65 A → В. В → А. ----------- A → A. |
|
64 A → B. В → А. ---------- A ↔ B. |
|
63 А ↔ (A ˄ B). А ↔ (A ˄ B). ------------------------------ А ↔ (A ˄ B) ˅ (A ˄ B). |
|
62
А → (А ˅ В). (А ˅ В) → (B → A). -------------------------- A → (B → A). |
|
61
А → В. В → [B → (A ˄ B)]. -------------------------- A → [B → (A ˄ B)]. |
|
60
(A → A) → В. В → A. ------------------- (A → A) → A. |
|
59
(А ˄ В) → А. A → (A ˅ B). ---------------------- (А ˄ В) → (А ˅ В). |
|
58 A → (A ˅ B). A. -------------- A ˅ B. |
|
57
А → В. А. ----------- А ˅ В. |
|
56 В → (A ˅ B). В. ---------------- A ˅ B. |
|
55 A → (A ˅ B). А. ---------------- А ˅ В. |
|
54 А → А. А → В. ------------------ A → (A ˅ B). |
|
53 А Ꚛ В. А → В. --------------------- А Ꚛ В → (А → В). |
|
52 А Ꚛ В. А → В. ---------------------- А Ꚛ В → (А → В). |
|
51 А → В. А ˅ В. ------------------------ (А → В) → А ˅ В. |
|
50 А ˄ В. А → В. ----------------------- А ˄ В → (А → В). |
|
49 А ↔ В. А → В. --------------------------- (А ↔ В) → (А → В). |
|
48 А ↔ В. А → В. -------------------------- (А ↔ В) → (А → В). |
|
47 А Ꚛ В. А ˅ В. ------------------- А Ꚛ В → А ˅ В. |
