Logic: add 'and', 'or', 'not'