recategorized by
3,400 views

1 Answer

3 votes
3 votes
In Propositional LOGIC  unification algo need one or more substitution that causes two literals like P and ~P to match so that they cancel out each other hence ans is B
edited by
Answer:

Related questions

3 votes
3 votes
2 answers
1
go_editor asked Jul 28, 2016
2,485 views
A ____ complete subgraph and a _____ subset of vertices of a graph G=(V,E) are a clique and a vertex cover respectivelyminimal, maximalminimal, minimalmaximal, minimalmax...
3 votes
3 votes
2 answers
2
2 votes
2 votes
1 answer
3
go_editor asked Jul 29, 2016
2,215 views
Which of the following commands would return process_id of sleep command?Sleep 1 and echo $Sleep 1 and echo $#Sleep 1 and echo $*Sleep 1 and echo $!
3 votes
3 votes
1 answer
4
go_editor asked Jul 29, 2016
3,798 views
The directory structure used in Unix file system is calledHierarchical directoryTree structured directoryDirected acrylic graphGraph structured directory