Birden fazla önermenin tutarlılığı denetlenirken yapılan işlemleri sıralayınız.