some logic examples i solved