\v=2
\v~=Dan, Joseph und Benjamin, Naphtali, Gad und Aser.
\¬v
\¬p