F=¬(A↔¬B)→(¬A⊕C)
--------------------------------------------------
ABC ¬B ¬(A↔¬B) ¬A ¬A⊕C F
000 1 1 1 1 1
001 1 1 1 1 1
010 0 0 1 0 1
011 0 0 1 0 1
100 1 0 0 0 1
101 1 0 0 1 1
110 0 1 0 0 0
111 0 1 0 1 1
из таблицы истинности F=1 - семь (7) решений
ответ 7