0 votes 0 votes If we have ∀x(p(x)) then in boolean algebra form we can write this statement as (P1 + P2) where + signifies OR which makes it very easy to deal with. So likewise is there any way to have a view of a statement like ∀x∀y(R(x,y)) into boolean form? Mathematical Logic mathematical-logic discrete-mathematics kenneth-rosen block-nested-loop-join propositional-logic + – sushil1997 asked Sep 28, 2018 sushil1997 481 views answer comment Share Follow See 1 comment See all 1 1 comment reply kd..... commented Dec 5, 2018 reply Follow Share With for every and comes not or 0 votes 0 votes Please log in or register to add a comment.