Часто ли программистам приходится составлять таблицы истинности?

Question

[jejos]

Собственно, вопрос в сабже. Приходится ли вам по работе составлять таблицы истинности? Если да, привидите, пожалуйста, примеры таких задач, где приходится это делать.

Comments

[Victor Bomberow]

Таблицы истинности наверное только в универе составляют. Чтобы расписать какой-нибудь функциональный блок.
На практике же используют VHDL

Answer 1

[Максим Кудрявцев]

Расширенный поиск по параметрам - классический пример.

Открой hh.ru и перейди на страницу со списком параметров: город, з/п, тип занятости, права, инвалидность и т.п.
Таблица истинности там будет строиться в виде объекта и уже он будет использоваться для выборки. Вариация на тему - зависимые параметры, например, мне нужен сотрудник с правами, но только категории С. Значит, я должен искать категорию прав только тогда, когда у меня есть отметка о наличии прав. Можно сюда же добавить опыт вождения и подобные вещи.

С ходу как это работает под капотом я тебе не расскажу, но в целом любая система расширенного поиска будет являться таблицей истинности по своей сути.

Answer 2

[Griboks]

Нет, практически никогда. Обычно достаточно набросать кучу условий, скобок и прочего для понимания, а затем попросить компилятор/IDE всё это привести в нужную форму(СКФ,СДФ, ленивые вычисления, неявные преобразования к булеану,тернарные условные операторы, минимальное ветвление с return).

Comments

[jejos]

Что есть СКФ,СДФ?

[hint000]

jejos,
СКНФ
СДНФ
КНФ
ДНФ

практически никогда

Есть люди, которые программируют микроконтроллеры. Эти люди тоже называются программистами.

[Griboks]

hint000, да, вы правы. Но я не программирую контроллеры, не могу ничего за них утверждать. Предлагаю вам написать ответ про эту область программирования.

Answer 3

[xmoonlight]

В основном - это нужно для проверки ролей доступа и отладки предустановленных фильтров.
Упрощалка лог.выражений в виде функции - не помешала бы.