[(p ise q) ve q değili ] önermesinin en sade biçimi
[p v(p^q) ise [(qvp) ^p] önermesinin en sade biçimi
arkadaşlar lütfen çözümleride olsun
(piseq)'veq'=( p'veya q)veq'=q'
q' olmasının sebebi önermelerin soğurma özelliğinden kaynaklanır. Bu mantıkta bir kuraldır