Question

Мат. Логика
Доказать:
(A & B) V (¬A & D) V (B & D) = (A & B)
V (¬A & D)

Answer 1

$(A \cap B) \cup (\neg A \cap D) \cup (B \cap D)\Leftrightarrow \cap B) \cup ((\neg A \cap D) \cup (B \cap D))\Leftrightarrow \\\Leftrightarrow (A \cap B) \cup ((B \cap D) \cup (\neg A \cap D))\Leftrightarrow (A \cap B) \cup (B \cap D) \cup (\neg A \cap D)\Leftrightarrow \\\Leftrightarrow (A \cap B) \cup (B \cap D) \cup (D \cap \neg A)\Leftrightarrow (A \cap B) \cup ((B \cap D) \cup (D \cap \neg A))\Leftrightarrow$$\Leftrightarrow (A \cap B) \cup (B \cap D) \cup (D \cap \neg A)\Leftrightarrow (A \cap B) \cup (D \cap B) \cup (D \cap \neg A)\Leftrightarrow \\\Leftrightarrow (A \cap B) \cup (B \cap D) \cup (\neg A \cap D)$