1. При наличии тока в «А», в результате тока нет;
2. При отсутствии тока в «А», в результате ток есть.
Рис. 3. «Кнопка» – логическое отрицание в цепи
Но вместе с этими операциями, присутствовали также операции импликации и эквиваленции, где импликация – логическое следствие или утверждение «Отсюда следует», а эквиваленция – логическая равносильность и или утверждение «Тогда и только тогда» обладало следующей таблицей истинности (Табл. 4), а эквиваленция – (Табл. 5).
При этом обе операции ещё не были применены на практике в прямом виде, так как это выглядело для конъюнкции и дизъюнкции. На сегодняшний день применяется преобразование для импликации (1) и для эквиваленции (2).
То есть импликацию можно представить как отрицание первого и дизъюнкцию со вторым утверждением, а эквиваленцию как конъюнкцию отрицаний обоих суждений на дизъюнкцию конъюнкции обоих суждений. Если же проверить на таблице истинности (1) и (2), то результат будет действительным (Табл. 6-7).
И представленные методы считались единственно возможными по сей день, пока наконец не был создан электрический элемент, своего рода соединение, при котором выполнялась бы в прямом случае импликация и эквиваленция.
Первое устройство – импликатор, состоит из вакуумной колбы 7 с катодом 3 и анодом 1, между коими помещена анодная сетка 2. Расстояние между катодом и анодом l выверено с той точностью, что оно меньше, либо равно свободному пробегу электронов, вылетевших из катода до анода. Также имеется изолированный электрод 6, подведённый с внешней стороны (за колбой) к штырю катода 3, но не соединённый с ним (Рис. 4).
Рис. 4. Схема импликатора
Таким образом, пусть анодная сетка 2 будет выступать в роли второго утверждения, катод 3 в роли первого, а анод 1 в роли результата. Вместе с этим вводится условие, что перед поступлением тока 4 к катоду 3 поставлен делитель 5, который реагирует на величину поступившего тока, если ток больше или равен определённого значения, принятого за истинность первого суждения, то оно подключается к катоду 3, в обратном случае к электроду 6 выходящий из анода. При этом исключением является случай, когда на анодной сетке 2 есть ток, при этом полагается, что на катод и к цепи катода ток не идёт вовсе.
Итак, в данной схеме можно рассмотреть четыре ситуации:
1. Если на катоде тока нет, и на анодной сетке тока нет, то ток течёт по электроду к аноду, в результате ток есть;
2. Если на катоде ток есть, но на анодной сетке тока нет, то электроны долетают до анода, в результате ток есть;
3. Если на катоде тока нет, но на анодной сетке тока нет, электронов в колбе также нет, из-за чего в результате тока нет;
4. Если на катоде ток есть и на анодной сетке ток есть, то электроны получают дополнительное ускорение, откуда выходит, что в результате ток также есть.
Данное устройство, как видно,