Напомню, что ¬A (отрицание A) истинно, когда A ложно, и наоборот. А Ѵ B (дизъюнкция A или B) истинна, если хотя бы одно из A или B истинно.