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

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

A	B	C	¬C	¬A	(¬A)∧B	((¬A)∧B)∨(¬C)	(((¬A)∧B)∨(¬C))∨A	¬((¬A∧B∨(¬C)∨A))
0	0	0	1	1	0	1	1	0
0	0	1	0	1	0	0	0	1
0	1	0	1	1	1	1	1	0
0	1	1	0	1	1	1	1	0
1	0	0	1	0	0	1	1	0
1	0	1	0	0	0	0	1	0
1	1	0	1	0	0	1	1	0
1	1	1	0	0	0	0	1	0

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