Булеви функции. Теорема на Пост-Яблонски за пълнота
								
																
									Нека J2 = { 0, 1}. Всяка функция f : J2n  J2, n  , n ≥ 1 наричаме двоична (булева) функция.
Всяка функция f : J2n  J2 можем да разглеждаме като функция на n независими променливи x1, x2, …, xn.
С F2n ще означаваме м