Условие:
Проверить, является ли приведенное сложное суждение законом логики (тождественно-истинной формулой): Если человек говорит неправду, то он заблуждается или он сознательно вводит в заблуждение других. Этот человек говорит неправду, но явно он не заблуждается. Следовательно, он сознательно вводит в заблуждение других.
