Алгебра логики, таблицы истинности и анализ логических схем