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