Докозать используя таблицу истинности: A^((¬Bv¬C)v¬B^C)v¬A ну или A·((¬Bv¬C)v¬B^C)·¬A ну или так:
Если условие записано верно, то таблица истинности имеет такой вид (но само выражение не тождественно истинное!):