Таблица истинности для функции F≡A∧V∧¬C∧(B∧¬A∧V∧C):

Промежуточные таблицы истинности:
¬A:

B∧(¬A):

(B∧(¬A))∧V:

((B∧(¬A))∧V)∧C:

¬C:

A∧V:

(A∧V)∧(¬C):

((A∧V)∧(¬C))∧(((B∧(¬A))∧V)∧C):

F≡(((A∧V)∧(¬C))∧(((B∧(¬A))∧V)∧C)):

Общая таблица истинности:

Логическая схема: