Terms for subject Computers containing отрицание отрицания

Russian	English
закон отрицания отрицания	law of double negation
отрицание дизъюнкции	Peirce function
отрицание дизъюнкции	NOR function
отрицание конъюнкции	stroke-function
отрицание конъюнкции	Sheffer's stroke (operation)
отрицание конъюнкции	NAND function
переменная без отрицания	uncomplemented variable
переменная с отрицанием	complemented variable