• La Wiris té incorporada una àlgebra booleana binària, de cert o fals. Quan pot assegurar la certesa d'una condició, la resposta que dóna és cert. Altrament, la resposta és fals. És a dir, convé que "traduïu" sempre fals com a no es pot assegurar que sigui cert. I encara una mica més: la complexitat dels raonaments matemàtics que fem fa que, en alguna situació, la resposta fals que dóna la Wiris pugui correspondre a una situació que "a ull" sabem que és certa: no hi ha prou recursos en el programa per assegurar el que veiem com a cert. Ara bé, sempre que trobeu com a resposta cert, en podeu tenir realment la certesa.
    En la situació que es comentava, (a·b)n = = an · bn ?, si penseu que a i b poden ser matrius, llavors el producte no és commutatiu i la resposta fals està ben justificada en general.
    Vegeu una pantalla amb exemples .