Полный англо-русский словарь
Теорема разложения Шеннона (для булевых функций в совершенной дизъюнктивной нормальной форме)