Question

Построить таблицу истинности для логической формулы:

Answer 1

Instead of $not(B ->(A <->B))$ I wrote  $alpha$
Hope you'll understand.