Алгоритмы построения таблиц истинности в работе специалистов по налогообложению

В обыденной речи для образования сложного предложения из простых мы всегда используем связки — особые части речи, соединяющие отдельные предложения. Наиболее часто при этом употребляются связки и, или, нет, если … то, только если и тогда и только тогда. В логике также существует ряд таких, привычных нам связок, выполняющих те же функции. Естественно, существуют отличия связок обыденной речи от связок в логике (например, в логике смысл высказываний должен быть определен однозначно). Но цель — определение истинности одинакова в обоих случаях. В работе будут рассмотрены все виды логических связок и алгоритмы их построения.