4. Доказать, используя таблицу истинности: X∨(X&Y)=X.

Question

Вопрос:

Accepted Answer

Составим таблицу истинности для левой и правой частей. Если их значения совпадают во всех строках, равенство доказано.

X	Y	X∧Y	X∨(X∧Y)	X
И	И	И	И	И
И	Л	Л	И	И
Л	И	Л	Л	Л
Л	Л	Л	Л	Л

В каждой строке столбцы X∨(X∧Y) и X совпадают.

Ответ: равенство тождественно истинно.