Logica NON-VEL
Similis portae NON-ET, porta NON-VEL est "porta universalis" quod portas NON-ET aut NON-VEL creare portas omnes alias posse significat. Per exemplum, anno 1966 Apollo Guidance Computer solum ex portis NON-VEL factum est..

Porta NON
Inductis portae NON-VEL iugando facta est. Quia porta NON-VEL est par portae NON post portam VEL, porta VEL deletur, et porta NON solum stat.

Porta VEL
Porta VEL est porta NON-VEL ante portam NON.

Porta ET
Secundum legem De Morgan, porta ET est porta NON-VEL cum uterque inductis invertis.

Porta NON-ET
Porta NON-ET est porta ET ante portam NON.

Porta AUT
Porta AUT aequatione logici (A ET B) NON-VEL (A NON-VEL B) sequando facta est.

Porta NON-AUT
Porta NON-AUT aequatione logici (A NON-VEL N) NON-VEL (B NON-VEL N) sequando facta est, ubi N = A NON-VEL B.

Logica NON-ET. Similis portae NON-VEL, portae NON-ET est quoque portae universales.

References

Portae Logicae