"Eğer bir sayı 5'e bölünüyorsa, birler basamağı 0 veya 5'tir." önermesi sembolik mantıkta nasıl ifade edilir? (p: "Sayı 5'e bölünür", q: "Birler basamağı 0'dır", r: "Birler basamağı 5'tir")