Érdekes cucc, kiváncsi lennék az ehhez tartozó "bool algebrára", hogy minden műveletnek van-e fizikai megvalósítása és tényleg lehet processzort építeni belőle?