Ответ:

Логических переменных: 2 (A, B). Сначала выполняется отрицание Ā, затем обе конъюнкции, после них — дизъюнкция.

Строки таблицы соответствуют наборам A, B: 00, 01, 10, 11.

ABĀA & BĀ & BA & B ∨ Ā & B
001000
011011
100000
110101