More theorems about boolean connectives: and,or,not.