Построение таблиц истинности

Таблица истинности логической формулы выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
 Удобной формой записи при нахождении значений формулы является таблица, содержащая кроме значений переменных и значений формулы также и значения промежуточных формул.

1. Построим таблицу истинности для выражения . В данном выражении находится две переменные (X и Y), значит рассмотрим четыре набора с различными наборами значений переменных

Переменные		Промежуточные значения			Результат
X	Y
0	0	0	0	1	1
0	1	0	1	0	0
1	0	0	1	0	0
1	1	1	1	0	1