Условие:
Средствами таблично построенной логики высказываний установите, является ли правильным следующее рассуждение:
«Если Джон не общался этой ночью со Смитом, когда было совершено преступление, то Смит мог быть причастен к совершённому преступлению. Надёжность Джона подвергается сомнению. Следовательно, либо Смит преступник, либо Джон лжет».

