Дана логическая формула F.<br />Что называется интерпретацией формулы F= (A ⟶ (B ∨ ¬C)) ⟶ D - все возможные значения формулы F;, - построенная таблица истинности;, - преобразование формулы F к более простому виду., - приписывание конкретных значений (0, 1) атомам A, B, C, D;