Introduction To Converting Logic Forms