% [(F && T)]
[F]
% [(F && a)]
[F]
[F]
% [(T && a)]
[T]
[F]
% [(T && a);(F && b);(T && c);(T && d)]
[F;F;F;F]
[F;F;T;F]
% ((F && T) || ((! F) && (! T)))
false
% ((a && T) || ((! a) && (! T)))
true
false