Önermeler üzerinde * işlemi
p*q = (p⇒q) ⇒q biçiminde tanımlanıyor.
Buna göre, (1 * q) * 1 işleminin sonucu?
