(p=>q)^(q^p`) Bileşik onermesinin en sade biçimi