|
Истолкуем конъюнкцию как последовательное , а дизъюнкцию – как параллельное соединение контактов (и более общо, комплексов контактов, соединенных проводниками схем) (рис. 4). Это вполне естественно, так как при последовательном соединении контактов ток по цепи проходит лишь тогда, когда оба контакта находятся в состоянии проводимости, а при параллельном соединении для прохождения тока по цепи достаточно проводимости хотя бы одного из контактов. Рис. 4. Схемы последовательного и параллельного соединения двух контактов; схема a соответствует формуле (Ai & ~Aj), а схема б – формуле (Ai V ~Aj); i,j = 1, 2, 3,... Импликацию и эквивалентно будем понимать подобно предыдущей интерпретации – как сокращение смысл которого расшифровывается с помощью знаков ~, & и V. Наша интерпретация не определяет, как понимать формулы (и как вычислять их значения в зависимости от значений, придаваемых их переменным), если в них имеется знак отрицания, действующий не на пропозициональную переменную, а на более сложную (под)формулу. Например, не ясно, как интерпретировать приведенную выше формулу (**). Поэтому условимся о следующем: всякая непосредственно не истолковываемая формула понимается как любая равная ей формула, в которой отрицания (если они есть) стоят только над переменными; значения непосредственно не истолковываемой формулы для любого распределения значений пропозициональных переменных совпадают со значением равной ей непосредственно истолковываемой формулы для тех же распределений значений. Так, формулу (**) можно понимать как формулу (А1 & (~A2 & ~A1), так как она равна формуле (**). Теперь мы можем указать, что следует понимать под значением формулы – это либо проводимость, либо непроводимость соответствующей схемы, и определять ее значение для любого распределения значений входящих в нее ‑ пропозициональных переменных, пользуясь таблицами, в которых вместо единиц стоят проводимости (п), а вместо нулей – непроводимости (н). При этом формулам, тождественно‑равным единице, соответствуют всегда приводящие, а формулам, тождественно‑равным нулю, – никогда не проводящие схемы. Очевидно, что верность равенства а = ? в нашей интерпретации означает функциональную одинаковость схем, соответствующих формулам а и ? – одинаковость их электрического состояния пои любых состояниях их контактов. Рис. 5. Схемное представление закона дистрибутивности конъюнкции относительно дизъюнкции. Как нетрудно убедиться, схемы а и б функционально одинаковы. — 49 —
|