for p, q being boolean object st p => q = TRUE & p => ('not' q) = TRUE holds
'not' p = TRUE