n-level logic