Большой англо-русский словарь (с транскрипциями) CONJUCTIVE normal form лог. конъюктивная нормальная форма, КНФ