Вычислить значение логической формулы: F =(A→(B∨C))∧(B→D)∨((D∧A)→C), для следующих значений переменных: A = истина, B = ложь, C = истина, D = ложь.
(1⇒(0∨1))∧(0⇒0)∨((0∧1)⇒1) = (1⇒1)∧1∨(0⇒1) = 1∧1∨1 = 1 F = истина