and or conditional biconditional not prontos