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

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

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

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