ТАБЛИЦЫ ИСТИННОСТИ
Таблица истинности логической формулы выражает соответствие между всевозможными наборами значений переменных и значениями формулы 
Чтобы составить таблицу истинности для логической формулы надо выполнить следующие шаги: 
Определить количество входных наборов значений переменных по формуле Q =2 n , где n -количество входных переменных, для двух переменных Q =4. для трех Q =8 и т.д 
Определить порядок выполнения операций в формуле 
Найти значения промежуточных формул и конечного результата 
Таблица истинности для формулы   ( Q =8): 
Переменные 	Промежуточные логические формулы 	Формула 	
									
0 	0 	0 	1 	1 	0 	1 	0 	0 	
0 	0 	1 	1 	1 	0 	1 	1 	1 	
0 	1 	0 	0 	0 	1 	1 	0 	1 	
0 	1 	1 	0 	0 	1 	1 	1 	1 	
1 	0 	0 	1 	1 	0 	0 	0 	0 	
1 	0 	1 	1 	1 	0 	0 	0 	0 	
1 	1 	0 	0 	1 	0 	0 	0 	0 	
1 	1 	1 	0 	1 	0 	0 	0 	0 	
Из таблицы видно, что формула в некоторых случаях принимает значение 1, а в некоторых — 0 , то есть является выполнимой