Дискротека: Существенные и фиктивные переменные, равенство булевых функций, формулы над данным множеством функций.