Антон Савченко

«Виктор пойдет на рыбалку» - A
«Будет солнечная погода» - B
«Будет жарко» - C
(В и (не С)) <-> A - правильная формула.
Отрицание там о ней составить не трудно.