dʑawˈaɲʲɛ dvˌuarɡˌumɛntˈɔvɛ ˌɔkrɛɕlˈɔnɛ w dɔvˈɔlnɨm zbjˈɔʒɛ zdˈaɲ bˈɔɲdʑ w zbjˈɔʒɛ fˈuŋktsji zdaɲʲˈɔvɨx, ktˌurɛ zdˈaɲʲɔm fˈuŋktsjɔm zdaɲʲˈɔvɨm i pʃˌɨpisˈujɛ zdˈaɲʲɛ fˈuŋktsjɛ zdaɲʲˈɔvɔ̃ pravdʑˈivɛ ftˈɛdɨ i tˌɨlkɔ ftˈɛdɨ, ɡdˈɨ pravdʑˈivɛ jɛst pʃɨnˈajmɲʲɛj jˈɛdnɔ zˈɛ zdˈaɲ fˈuŋktsji i
Działanie dwuargumentowe określone w dowolnym zbiorze zdań bądź w zbiorze funkcji zdaniowych, które zdaniom (funkcjom zdaniowym)  i  przypisuje zdanie (funkcję zdaniową) prawdziwe wtedy i tylko wtedy, gdy prawdziwe jest przynajmniej jedno ze zdań (funkcji)  i