Proposed resolution:

This wording is relative to N4600.

1. In [meta.logical] p3, edit as follows:

   template<class... B> struct conjunction : see below { };
   

   -2- The class template conjunction forms the logical conjunction of its template type arguments. Every template type argument shall be usable as a base class and shall have a static data member value which is convertible to bool, is not hidden, and is unambiguously available in the type.

   -3- The BaseCharacteristic of a specialization conjunction<B1, …, BN> has a public and unambiguous base that is either

   1. — the first type Bi in the list true_type, B1, ..., BN for which bool(Bi::value) is false, or
   2. — if there is no such Bi, the last type in the list.

   is the first type B in the list true_type, B1, …, BN for which B::value == false, or if every B::value != false the BaseCharacteristic is the last type in the list. [Note: This means a specialization of conjunction does not necessarily have a BaseCharacteristic ofinherit from either true_type or false_type. — end note]

   -?- The member names of the base class, other than conjunction and operator=, shall not be hidden and shall be unambiguously available in conjunction.

2. In [meta.logical] p6, edit as follows:

   template<class... B> struct disjunction : see below { };
   

   -5- The class template disjunction forms the logical disjunction of its template type arguments. Every template type argument shall be usable as a base class and shall have a static data member value which is convertible to bool, is not hidden, and is unambiguously available in the type.

   -6- The BaseCharacteristic of a specialization disjunction<B1, …, BN> has a public and unambiguous base that is either

   1. — the first type Bi in the list false_type, B1, ..., BN for which bool(Bi::value) is true, or,
   2. — if there is no such Bi, the last type in the list.

   is the first type B in the list false_type, B1, …, BN for which B::value != false, or if every B::value == false the BaseCharacteristic is the last type in the list. [Note: This means a specialization of disjunction does not necessarily have a BaseCharacteristic ofinherit from either true_type or false_type. — end note]

   -?- The member names of the base class, other than disjunction and operator=, shall not be hidden and shall be unambiguously available in disjunction.

3. In [meta.logical] p8, edit as follows:

   template<class B> struct negation : integral_constant<bool, !B::value>see below { };
   

   -8- The class template negation forms the logical negation of its template type argument. The type negation<B> is a UnaryTypeTrait with a BaseCharacteristic of integral_constant<bool, !bool(B::value)>.