Question
16.3 Convert the following to clause form: 1. (( x)[P(x)] ( x) [Q(x)]) ( x) [P(x) Q(x)] 2. ( x)[P(x) ( y)[( z) [Q(x,y)] (
16.3 Convert the following to clause form:
1. (( x)[P(x)] ( x) [Q(x)]) ( x) [P(x) Q(x)]
2. ( x)[P(x) ( y)[( z) [Q(x,y)] ( z)[R(y,x)]]]
3. ( x)[P(x)] ( x)[( z)[Q(x,z)] ( z) [R(x,y,z)]]
4. ( x)[P(x) Q(x,y)] (( y) [P(y)] ( z)[Q(y,z)])
Step by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started
Intranet And Web Databases For Dummies
Authors: Paul Litwin
1st Edition
0764502212, 9780764502217
