[(p've q) veya p] veya (p' veya q')' önermesinin en sade biçimini yazınız.
ilk köşeli parantezdeki p yi içeri dağıtırız. [(p' veya p ) ve (p veya q)] olur, p' veya p 1 dir. yani ilk parantezde p veya q kalır. Düzenlediğimizde (p veya q ) veya (p' veya q') olur bu da 1 e eşittir.