Az operátor a matematikában bármilyen szimbólumot jelent, amely jelzi a végrehajtandó műveletet. Példák a√x négyzetgyöke (ami azt jelzi, hogy a négyzetgyökét meg kell venni) és d / dx (amely jelzi, hogy meg kell különböztetni az x értéket). Az operátort függvénynek, transzformációnak vagy térképnek lehet tekinteni abban az értelemben, hogy az egyik halmaz elemeit társítja vagy „leképezi” egy másik halmaz eleméhez. Lásd még az automatizmus.
formális logika: A szereplők kölcsönös meghatározhatósága
A most kifejtett szabályok lehetővé tennék a 3. táblázatban felsorolt első De Morgan-törvényt, hogy bármilyen számú WW-t átalakítson