Таблицы истинности логических формул.

[povezlo]

К двум форумулам нужно

1. (C∨B)->(неC∧B)
2. ((C∨B)∧C)∧(¬C∨A)

никак, не?

спасибо

[Serge 007]

Чего это было?!

[doober]

Ура,а то думал ,что с форумом случилось.


Это была попытка у povezlo записать логическое выражение на суржике.

[Serge 007]

Сообщение от doober

Ура,а то думал ,что с форумом случилось.


Это была попытка у povezlo записать логическое выражение на суржике.

У него не получилось :-)))

[phomm]

Хотел сделать новую тему , но прошёлся поиском , и нашёл, похвалите меня, что не создаю новую
Как я понимаю, автору сей темы уже точно оно не надо ни за какие пряники ))

Так вот, написал недавно экселинку Таблица истинности логических формул. Там всё просто. Надо только знать, как записать логическую формулу на экселе. Вписываете формулу и количество аргументов в нужные поля и растягиваете табличку на 2^количество_аргументов, там ограничение, так что, не ошибетесь, если растяните больше. подписи к полям сделаны, но на английском, ибо я всегда пишу программы и комменты к ним на английском, для универсальности.

Пользуйтесь )

[apromix]

Отличная табличка

[vikttur]

Мне тоже понравилась. Разноцветная
Увидел два малюсеньких недостатка – разряды должны следовать справа налево; это решается встроенной функцией =ДЕС.В.ДВ()

[phomm]

Разряды, конечно, должны следовать слева на право, но ! так неудобно добавлять их, а тут вправо их только растянул и всё, а иначе надо ещё того-сего переносить...

Вот подумайте сами, если аргументов больше 8... надо ведь увеличить разряды, с нынешним положением растянули их и всё, хоть 100 делайте, а если было бы наоборот ??? куда растягивать ? придется сперва перенести вправо далеко, а потом уже влево растягивать.

Первая версия и была: слева - страшие биты, но потом решил универсализировать и поменял по вышеназванной причине. Думаю , Вы тоже согласитесь с большей целесообразностью в ущерб некоему визуальному диссонансу, человеку-то, собственно, почти всё равно слева-направо или наоборот, по номерам ориентироваться.