p ve q birer onermedir.
Buna gore.
(pv q) ^ (q vpl
bilesik önermesinin en sade) seklini bulunuz.