– p. ⌵ .q. ⌵ .~p ist auch ein Tautologie. –
Es giebt wohl Sätze die sowohl p als auch ~p zulassen aber keinen den sowohl p als auch ~p bejaht.