Проверить является ли приведенное сложное суждение законом логики (тождественно-истинной формулой)

Обозначим простые суждения: «Если человек говорит неправду (А), то он заблуждается (В) или он сознательно вводит в заблуждение других (С). Этот человек говорит неправду (А), но явно он не заблуждается (не-В) . Следовательно, он сознательно вводит в заблуждение других (С)».
Символическая запись: ((А→ (В ∨ С)) (А ¬В)) → С.
Порядок действий → 3 1 4 2 5
А В С ¬В ((А→ (В ∨ С)) (А¬В)) → С
и и и л и и л л и
и и л л и и л л и
и л и и и и и и и
и л л и л л Л и И
л и и л и и л л и
л и л л и и л л и
л л и и и и л л и
л л л и и л л л и
Ответ: В результирующем столбце (№ 5) мы получили все значения истинности, следовательно, выражение логическим законом является.