Ogólnie interesuję się matematyką. Słyszałem o testowaniu wyrażeń logicznych metodą zero-jedynkową. Czy stosuje się tę metodę na komputerach? Komputery pracują na zerach i jedynkach, powinny się do tego nadawać. Przy ich pomocy można by wymyślić najbardziej nieprawdopodobne algebry wewnętrznie niesprzeczne.