Тогда начните с булевой алгебры, таблиц истинности и диаграмм состояний.