2
Kompresowanie formuł boolowskich
Składnia ~nie /\i \/czy tprawdziwe ffałszywe P, Q, FISHitp: zmienne (Operatory są podane w kolejności pierwszeństwa) Wprowadzenie Niektóre formuły logiczne można zmienić na różne formy, aby je skrócić. Na przykład formuła ~(~P /\ ~Q) można zmienić na krótszą formę P\/Q podczas gdy formuła P \/ ~P można zmienić na krótszą …