Wait, I might have badly proposed what I was looking for.
f ← ⍉⍱⍥(∨/∘,0 0∘⍷)× ⍝ This is my correct (and unefficient solution)
It returns 0 if the matrix contains two consecutives 0s (It return 1 in this matrix 3 3⍴ 1 1 0 0 1 1 1 1)
@Adám Is something like this correct?
⍉⍱⍥(∨/⍤∊2⍱/⊢)⊢