Metoda transformací logických formulí - Rott, Hilbert (Studie ČSAV, 1989)