В РГР по математической логике есть задание под номером 3: составить программу для нахождения СКНФ.
Так вот, в данном посте содержится программа, которая находит СКНФ введенной формулы. Читать далее →