Каталог статей
Главная » Статьи |
Всего материалов в каталоге: 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 А Ꚛ В. А ˅ В. ------------------- А Ꚛ В → А ˅ В. |