2. Определяем размер таблицы и промежуточные столбцы. Для выражения F = (A ∧ ¬B) ∨ C укажите: а) сколько строк данных будет в таблице истинности; б) какие промежуточные столбцы нужно добавить, чтобы вычислить выражение по шагам.

В выражении три переменные: A, B и C. Число наборов значений равно \(2^3 = 8\).

Для вычисления выражения по шагам нужны столбцы для операций ¬B и A ∧ ¬B. Столбец F — итоговый, а не промежуточный.

Ответ: а) 8 строк данных; б) промежуточные столбцы ¬B и A ∧ ¬B.