Штрих Шеффера: таблица истинности и её применение в логике