Укажите корректную формализацию утверждения «Пойдет направо – песнь заводит, налево – сказки говорит»:

X -> Y & V -> W, где X – логическая переменная, принимающая значение True, когда кот ученый пойдет направо, Y - логическая переменная, принимающая значение True, когда кот ученый заводит песнь V – логическая переменная, принимающая значение True, когда кот ученый пойдет налево, W - логическая переменная, принимающая значение True, когда кот ученый сказки говорит

X -> Y And V -> W, где X – логическая переменная, принимающая значение True, когда кот ученый пойдет направо, Y - логическая переменная, принимающая значение True, когда кот ученый заводит песнь V – логическая переменная, принимающая значение True, когда кот ученый пойдет налево, W - логическая переменная, принимающая значение True, когда кот ученый сказки говорит