Consider the
following CNF statements S1 and S2. The statements use variables x
and z. The constants Nono, West and M1 are used below.\
S1:(not)Missiles(x) V
(not) Owns(Nono,x) V Sells(West,x,Nono)
S2:
(not)Sells(West,M1,z)V (not) Hostile(z)
Answer the following questions.
Consider the following CNF statements S1 and S2. The statements use variables x and z. The constants Nono, West and M1 a
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am