overline (a -> b) * v ((a leftrightarrow c)^ overline b ) таблица

F(a,b,c) = ¬(a→b) ∧ (a↔c) ∧ ¬b = a ∧ ¬b ∧ (a↔c); истина только при (a,b,c)=(1,0,1); таблица: 000→0, 001→0, 010→0, 011→0, 100→0, 101→1, 110→0, 111→0