Znaleźć formułę psi możliwie najkrótszej długości równoważną danej formule Φ, gd Rovgarth: Znaleźć formułę Ψ możliwie najkrótszej długości równoważną danej formule Φ, gdzie Φ jest kolejno: a) (p ∧q∧ s)∨(p∧¬q∧¬r)∨(p∧q∧¬s)∨¬(p∧r⇒q) b)¬p⇒¬¬q c)(p∧q)∨¬(¬p⇒q) d)(q∧r∧s∧¬q)∨(p∧¬q∧¬p)∨(r∧s)

Rovgarth:

er: https://matematykaszkolna.pl/strona/1072.html

er: b) (¬p => ¬¬q ) <=> (¬p => q ) <=> (¬¬p v q ) <=> p v q korzystamy z tego, że (p=>q) <=> ¬p v q