logic notes