\v=45
\v~=Und Josaphat hatte Frieden mit dem König von Israel.
\¬v
\¬p