more simplification steps added to basic logic lecture