Stav dette: Использование специальных логических операторов в булевой алгебре при синтезе и анализе потенциально-импульсных релейных устройств