((true = false) = true) = false →
(false = true) = false →
false = false