\q1 \v=3 \v~=Что слышали мы и узнали, и отцы наши рассказали нам, \¬v \¬q1