О математике

[_falldown_]

Рылся в старых бумагах и нашел задачку, которую нам давали в универе на "мат.логике". А ведь когда-то я ее мог решить..

"Описать все хорновские булевы функции от трёх переменных a, b, c - атомарных предикатов данной сигнатуры. Построить диаграмму полурешётки конъюнкций, порождённых хорновскими импликациями."

Comments

[dasjenige]

старость не радость!

[formula_zhizni]

тссссс
нельзя так много материться)))

[_falldown_]

Насколько я помню, преподаватель тогда прочитал в наших глазах примерно то же самое ))

[elkin_elf]

респект былому тебе :)