not ( true and false or not false ) and not true