\v=2
\v~=Wanaume wote wa Israeli wakakusanyika kwa Mfalme Solomoni wakati wa sikukuu ya mwezi wa Ethanimu, ndio mwezi wa saba. 
\¬v
\¬p