Fixed #26: undefined names, "(NOT (a AND b)) != ((NOT a) AND (NOT b))", test
Merge pull request #35 from hynekcer/fix_issue26_2

Fixed #26: undefined names, "(NOT (a AND b)) != ((NOT a) AND (NOT b))", ...