MATL, 21 20 1919 18 bytes
Translation of @elementiro's MATLAB/Octave answer, with small modifications.
The input is a binary matrix (using ;
as row separator).
The output is either a row vector with all entries eqwual to 1
(which is truthy), or a row vector with at least one entry eqwual to 0
(which is falsy). The footer contains the truthiness/falsihood test.
O4LZ(Gz:"2Y6Z+G*]aA"2Y6Z+G*]a
Try it online!Try it online! Or verify all test casesverify all test cases.