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 requisitaConstructio ex portis NON-VELPorta NONConstructio portae NON ex portis NON-VEL+Tabula veritatis Inductum A    Eductum Q 0   1 1   0

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

Porta requisitaConstructio ex portis NON-VELPorta VELConstructio portae VEL ex portis NON-VEL+Tabula veritatis Inductum A  Inductum B    Eductum Q 0  0    0 0  1    1 1  0    1 1  1    1

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

Porta requisitaConstructio ex portis NON-VELPorta ETConstructio portae ET ex portis NON-VEL+Tabula veritatis Inductum A  Inductum B    Eductum Q 0  0    0 0  1    0 1  0    0 1  1    1

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

Porta requisitaConstructio ex portis NON-VELPorta NON-ETConstructio portae NON-ET ex portis NON-VEL+Tabula veritatis Inductum A  Inductum B    Eductum Q 0  0    1 0  1    1 1  0    1 1  1    0

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

Porta requisitaConstructio ex portis NON-VELPorta AUTConstructio portae AUT ex portis NON-VEL+Tabula veritatis Inductum A  Inductum B    Eductum Q 0  0    0 0  1    1 1  0    1 1  1    0

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.

Porta requisitaConstructio ex portis NON-VELPorta NON-AUTConstructio portae NON-AUT ex portis NON-VEL+Tabula veritatis Inductum A  Inductum B    Eductum Q 0  0    1 0  1    0 1  0    0 1  1    1

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

References

Categoria:Portae Logicae