В блоге Wolfram|Alpha по-русски - русский блог Wolfram|Alpha опубликован пост, где речь идет о том, как составлять таблицы истинности логических функций (выражений), используя веб-сервис Wolfram|Alpha.Это естественно, что Wolfram|Alpha легко справляется с такой простой задачей, как построение таблиц истинности логических функций. Однако, в большинстве случаев, этот мощный инструмент является излишне громоздким, поскольку веб-сервис Wolfram|Alpha ориентирован на решение не только задач логики, но и многих других, более сложных математических задач.
Чтобы составить таблицу истинности не "стреляя из пушки по воробьям", можно попытаться использовать другие доступные возможности. Например, такие, как веб-сервис для составления таблиц истинности логических выражений "Построение таблицы истинности" на веб-сайте Cognix.
Конечно, веб-сервис Cognix, расположенный, по-видимому, на бесплатном домене и хостинге, вполне может оказаться однодневкой. К примеру, он был некоторое время недоступен при написании этого поста. И все же, пока он работает, его можно рекомендовать для использования, поскольку "Построение таблиц истинности" Cognix, справляется со своей задачей не хуже именитого Wolfram|Alpha:
(A&&B)==(B=>C)=>!(!A==!B)
(P || Q || R) && (!P || !Q)
((A AND B) OR C)=>B
Сравните с решением Wolfram|Alpha.
P. S.
А как Вам такое?
A => ((((((B => C) => D) => E) => F) => G) => H)
Комментариев нет:
Отправить комментарий