Esta notación es conocida como notación polaca y en ella los conectivos lógicos son prefijados en vez de infijados como ocurre en la notación usual.