(False:) -> false
(false & any...) -> false
(false | any...) -> bool
(false ^ any...) -> bool
(false !) -> true
(false not) -> true