Type Alias BoolNand<A, B>

BoolNand: BoolNot<BoolAnd<A, B>>

Performs a logical NAND (NOT AND) operation on two boolean literal types A and B.

Type Parameters

A extends boolean
The first boolean literal type (true or false).
B extends boolean
The second boolean literal type (true or false).

Example

type T_T = BoolNand<true, true>;   // false
type T_F = BoolNand<true, false>;  // true
type F_T = BoolNand<false, true>;  // true
type F_F = BoolNand<false, false>; // true