Αποστολή με SMS: The nondeterministic complexity of the fredman and khachiyan algorithm for the dualization of monotone DNFs