CPPTM Answers - Exercise 4-0

 // (by Ariel Badichi)
 #include <boost/static_assert.hpp>
 #include <boost/type_traits/add_pointer.hpp>
 #include <boost/mpl/or.hpp>
 #include <boost/mpl/and.hpp>
 #include <boost/mpl/bool.hpp>

 namespace mpl = boost::mpl;

 class error {}; // no ::type

 int main()
 {
     BOOST_STATIC_ASSERT((mpl::or_<mpl::true_, error>::type::value));
     BOOST_STATIC_ASSERT((!mpl::and_<mpl::false_, error>::type::value));

     return 0;
 }