Uprość program. Rachunek zdań Discrete: Niech p, q będą zmiennymi zdaniowymi, a P₁, P₂, P₃ dowolnymi programami. Uprość instrukcje stosując prawa rachunku zdań a) {if ( p → q) then P₁ else if q then P₂ fi fi} b} {while (p ∧ q) do if (¬ ( p ∨ q ) → ¬(p ∧ q) then P₁ else P₂ fi od; if (p → ¬q) then P₃ fi }

Discrete: ?

KKrzysiek: A można stosować priorytety?