Алгебра логики: равносильность и таблица истинности