\v=17
\v~=Kwa kuwa ilikuwa lazima kuwafungulia mfungwa mmoja wakati wa Sikukuu.]
\¬v
\¬p