СКНФ методом равносильных преобразований

[arseniiv]

(Алгебраические выражения)

Sinoid в сообщении #1185885 писал(а):

Когда?

Ой, это же действительно был Sender. Не знаю, какими глазами вчера смотрел.

[LarisaK]

Sinoid в сообщении #1185906 писал(а):

Еще можно посоветовать проверить совпадение таблиц истинности полученного ответа и исходного выражения логическим калькулятором: всяко бывает...

да, конечно, и таблицы истинности проверила и ту скнф, которую выдает калькулятор, сверила с той, что я получила. Кстати, была удивлена, что на разных калькуляторах таблицы истинности разные:), так что еще и вручную пересчитывала и проверяла какой калькулятор глючит.

Спасибо!

[Sinoid]

LarisaK в сообщении #1185940 писал(а):

проверяла какой калькулятор глючит.

LarisaK в сообщении #1185940 писал(а):

ту скнф, которую выдает калькулятор

А какими калькуляторами вы пользуетесь? Я искал, искал, но лучше Logical calculator ничего не нашел, а в нем ни о каком СКНФ и речи быть не может, таблицы истинности выдает и то слава богу.